Elimination of spurious explanations
GERHARD E. FRIEDRICH · European Conference on Artificial Intelligence · 2004
The generation of explanations is considered as a main asset of knowledge-based systems. In this paper we show that current approaches of generating explanations for constraint satisfaction problems fall short. These approaches can lead to spurious explanations with respect to a proposed (or selected) solution. We introduce an extension of current explanation principles such that all explanations of properties regarding a proposed solution are well-founded explanations.