Meta-explanation in a Constraint Satisfaction solver
Jacques Pitrat, Lip Université Paris · 2006
Meta-explaining is useful to a human or an artificial researcher in order to learn how to use its knowledge effi-ciently. For instance, when the system RESEARCHER solves the same prob-lem 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.