Abduction and Induction for Explanation-Based Learning.

Béatrice Duval

Published in: EWSL (1991)

Keyphrases

explanation based learning
inductive learning
machine learning
domain theory
search control rules
background knowledge

search control knowledge
control knowledge
logic programming
belief revision
blocks world

learned rules
knowledge acquisition
inference rules
neural network
dependency directed backtracking

plan recognition
macro operators
learned knowledge
natural language processing
wordnet