Meta-explanation in a constraint satisfaction solver
Résumé
Meta-explaining is useful to a human or an artificial researcher in order to learn how to use its knowledge efficiently. For instance, when the system RESEARCHER solves the same problem using two different methods, it can meta-explain why it finds a more eleg- ant solution with one of them. We will describe how this system builds and uses a meta-explanation.