Inductive Logic Programming: 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings

ISBN-13: 9783540677956 / Angielski / Miękka / 2000 / 262 str.

James Cussens;Alan Frisch

Opis

Shan-HweiNienhuys-Cheng(UniversityofRotterdam, Netherlands) WilliamCohen(WhizbangsLabs, USA) LucDeRaedt(UniversityofFreiburg, Germany) Sa?soD?zeroski(Jo?zefStefanInstitute, Ljubljana) PeterFlach(UniversityofBristol, UK) AlanFrisch(UniversityofYork, UK) KoichiFurukawa(UniversityofKeio, Japan) RoniKhardon(UniversityofEdinburgh, UK) J]org-UweKietz(SwissLife, Switzerland) NadaLavra?c(Jo?zefStefanInstitute, Slovenia) JohnLloyd(AustralianNationalUniversity, Australia) StanMatwin(UniversityofOttawa, Canada) RaymondMooney(UniversityofTexas, USA) StephenMuggleton(UniversityofYork, UK) DavidPage(UniversityofWisconsin, USA) BernhardPfahringer(UniversityofWaikato, NewZealand) CelineRouveirol(UniversitedeParis-Sud, France) ClaudeSammut(UniversityofNewSouthWales, Australia) MicheleSebag(EcolePolytechnique, France) AshwinSrinivasan(UniversityofOxford, UK) PrasadTadepalli(OregonStateUniversity, USA) StefanWrobel(UniversityofMagdeburg, Germany) AkihiroYamamoto(UniversityofHokkaido, Japan) Additional Referees ErickAlphonse(UniversitedeParis-Sud, France) LiviuBadea(NationalInstituteforResearchandDevelopmentinInformatics, Romania) DamjanDemsar(Jo?zefStefanInstitute, Slovenia) ElisabethGoncalves(UniversitedeParis-Sud, France) MarkoGrobelnik(Jo?zefStefanInstitute, Slovenia) ClaireKennedy(UniversityofBristol, UK) DanielKudenko(UniversityofYork, UK) JohanneMorin(UniversityofOttawa, Canada) TomonobuOzaki(KeioUniversity, Japan) EdwardRoss(UniversityofBristol, UK) LjupcoTodorovski(Jo?zefStefanInstitute, Slovenia) VeroniqueVentos(UniversitedeParis-Sud, France) VIII ProgramCommitteeandReferees Sponsors of ILP2000 ILPNet2, TheEuropeanNetworkofExcellenceinInductiveLogicProgramming MLNet, TheEuropeanNetworkofExcellenceinMachineLearning CompulogNet, TheEuropeanNetworkofExcellenceinComputationalLogic Table of Contents IInvitedPaper ILP: JustDoIt. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 DavidPage II Contributed Papers ANewAlgorithmforLearningRangeRestrictedHornExpressions. . . . . . . 21 MartaArias, RoniKhardon ARe?nementOperatorforDescriptionLogics. . . . . . . . . . . . . . . . . . . . . . . . . 40 LiviuBadea, Shan-HweiNienhuys-Cheng ExecutingQueryPacksinILP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 HendrikBlockeel, LucDehaspe, BartDemoen, GerdaJanssens, JanRamon, HenkVandecasteele ALogicalDatabaseMiningQueryLanguage . . . . . . . . . . . . . . . . . . . . . . . . . . 78 LucDeRaedt Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 FlorianaEsposito, DonatoMalerba, FrancescaA. Lisi ExtendingK-MeansClusteringtoFirst-OrderRepresentations. . . . . . . . . . . 112 MathiasKirsten, StefanWrobel TheoryCompletionUsingInverseEntailment . . . . . . . . . . . . . . . . . . . . . . . . . . 130 StephenH. Muggleton, ChristopherH. Bryant SolvingSelectionProblemsUsingPreferenceRelationBasedonBayesian Learning. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 TomofumiNakano, NobuhiroInuzuka ConcurrentExecutionofOptimalHypothesisSearchforInverse Entailment. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165 HayatoOhwada, HiroyukiNishiyama, FumioMizoguchi UsingILPtoImprovePlanninginHierarchicalReinforcementLearning. . . 174 MarkReid, MalcolmRyan X TableofContents TowardsLearninginCARIN-ALN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191 CelineRouveirol, VeroniqueVentos InverseEntailmentinNonmonotonicLogicPrograms. . . . . . . . . . . . . . . . . . . 209 ChiakiSakama ANoteonTwoSimpleTransformationsforImprovingtheE?ciencyofan ILPSystem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225 V?torSantosCosta, AshwinSrinivasan, RuiCamacho SearchingtheSubsumptionLatticebyaGeneticAlgorithm . . . . . . . . . . . . . 243 AlirezaTamaddoni-Nezhad, StephenH. Muggleton NewConditionsfortheExistenceofLeastGeneralizationsunderRelative Subsumption. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253 AkihiroYamamoto Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265 ILP: JustDoIt DavidPage Dept. ofBiostatisticsandMedicalInformatics andDept. ofComputerSciences UniversityofWisconsin 1300UniversityAve., Rm5795MedicalSciences Madison, WI53706 U. S. A. page@biostat. wisc. edu Abstract. Inductivelogicprogramming(ILP)isbuiltonafoundation laidbyresearchinotherareasofcomputationallogic. Butinspiteofthis strongfoundation, at10yearsofageILPnowfacesanumberofnewch- lengesbroughtonbye

Spis treści

Invited Paper.- ILP: Just Do It.- Contributed Papers.- A New Algorithm for Learning Range Restricted Horn Expressions.- A Refinement Operator for Description Logics.- Executing Query Packs in ILP.- A Logical Database Mining Query Language.- Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions.- Extending K-Means Clustering to First-Order Representations.- Theory Completion Using Inverse Entailment.- Solving Selection Problems Using Preference Relation Based on Bayesian Learning.- Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment.- Using ILP to Improve Planning in Hierarchical Reinforcement Learning.- Towards Learning in CARIN-ALN.- Inverse Entailment in Nonmonotonic Logic Programs.- A Note on Two Simple Transformations for Improving the Efficiency of an ILP System.- Searching the Subsumption Lattice by a Genetic Algorithm.- New Conditions for the Existence of Least Generalizations under Relative Subsumption.