Learning Logic Programs and Regularities from Examples by Inductive Inference.
Sumitaka AkibaTaisuke SatoPublished in: Machine Intelligence 14 (1993)
Keyphrases
- inductive inference
- logic programs
- learning paradigms
- logic programming
- background knowledge
- grammatical inference
- recursive functions
- pattern languages
- counter examples
- hypothesis spaces
- answer sets
- learning algorithm
- monotonicity constraints
- fixpoint
- learning from positive data
- vc dimension
- term rewriting systems
- computational properties
- relational learning
- answer set programming
- inductive logic programming
- supervised learning
- active learning