A Learning Mechanism for Logic Programs Using Dynamically Shared Substructures.
Masayuki NumaoShigekazu MoritaKenichi KarakiPublished in: Machine Intelligence 15 (1995)
Keyphrases
- logic programs
- learning mechanism
- logic programming
- answer sets
- fixpoint
- background knowledge
- learning process
- answer set programming
- stable models
- computational properties
- inductive logic programming
- normal logic programs
- data structure
- learning rules
- logic program updates
- partial deduction
- stable model semantics
- search control knowledge
- term rewriting systems
- horn clauses
- neural network
- deductive databases
- back propagation
- artificial intelligence