Inductive Logic Programming de Nada Lavra¿

Inductive Logic Programming

Nada Lavra¿

Saso Dzeroski

This book constitutes the refereed proceedings of the 7th International Workshop on Inductive Logic Programming, ILP-97, held in Prague, Czech Republic, in September 1997.
The volume presents revised versions of nine papers in long version and 17 short papers accepted after a thorough reviewing process. Also included are three invited papers by Usama Fayyad, Jean-Francois Puget, and Georg Gottlob. Among the topics addressed are various logic programming issues, natural language processing, speech processing, abductive learning, data mining, knowledge discovery, and relational database systems.

Citește tot Restrânge

Cuprins

Knowledge discovery in databases: An overview.- On the complexity of some Inductive Logic Programming problems.- Inductive logic programming and constraint logic programming (abstract).- Learning phonetic rules in a speech recognition system.- Cautious induction in inductive logic programming.- Generating numerical literals during refinement.- Lookahead and discretization in ILP.- Data mining via ILP: The application of Progol to a database of enantioseparations.- Part-of-speech tagging using Progol.- Maximum Entropy modeling with Clausal Constraints.- Mining association rules in multiple relations.- Using logical decision trees for clustering.- Induction of Slovene nominal paradigms.- Normal forms for inductive logic programming.- On a sufficient condition for the existence of most specific hypothesis in progol.- Induction of logic programs with more than one recursive clause by analyzing saturations.- A logical framework for graph theoretical decision tree learning.- Learning with abduction.- Systematic Predicate Invention in Inductive Logic Programming.- Learning programs in the event calculus.- Distance between Herbrand interpretations: A measure for approximations to a target concept.- Realizing Progol by forward reasoning.- Probabilistic first-order classification.- Learning Horn definitions with equivalence and membership queries.- Using abstraction schemata in inductive logic programming.- Distance induction in first order logic.- Carcinogenesis predictions using ILP.- Discovery of first-order regularities in a relational database using ofine candidate determination.- Which hypotheses can be found with inverse entailment?.