A Formal Model of Explanation.

Bryan S. Todd Richard Stamper

Published in: Formal Aspects Comput. (1995)

Keyphrases

formal model
explanation based learning
security properties
predicate calculus
formal models
causal explanation
real time
probabilistic knowledge
counter intuitive
cost based abduction
information systems
abductive reasoning