An Application of Explanation-Based Learning to Protocol Conformance Testing.
C. GeldrezStan MatwinJohanne MorinRobert L. ProbertPublished in: IEEE Expert (1990)
Keyphrases
- explanation based learning
- machine learning
- domain theory
- inductive learning
- protocol specification
- control knowledge
- search control rules
- search control knowledge
- inference rules
- macro operators
- blocks world
- learned rules
- test set
- logic programming
- prior knowledge
- metadata
- dependency directed backtracking
- knowledge base
- artificial intelligence
- learning algorithm