Problem solvers, Knowledge-based Systems implementing problem solving methods, should explain their answers. Few KBS systems, however, are effective at explaining their answers either because they cannot
systematically generate explanations or, when they can, their explanation components cannot easily be extended to new kinds of tasks. This project
researches techniques to enable that problem solvers to explain their answers in a systematic way. To generate proofs for their answers, the techniques relies on the fact that problem solvers can retrieve
and reuse their PSMs and that the proofs can be distrubuted in heterogeneous environments like Web.

Links:

http://www.stanford.edu
http://www.commonkads.uva.nl
http://www.cs.vu.nl/~upml
http://protege.stanford.edu