LT Revisited: Explanation-Based Learning and the Logic of Principia Mathematica.
Paul O'RorkePublished in: Mach. Learn. (1989)
Keyphrases
- explanation based learning
- domain theory
- machine learning
- inductive learning
- search control rules
- control knowledge
- blocks world
- inference rules
- modal logic
- logic programming
- dependency directed backtracking
- multi valued
- search control knowledge
- domain knowledge
- expert systems
- neural network
- reinforcement learning
- high level
- artificial intelligence
- learned rules
- macro operators
- data mining