INVERSE VERIFICATION OF PROBLEM-SOLVING METHODS

Context dependency of knowledge models brings with it several problems : the unreliability of knowledge-based systems, maintenance costs and limitations on sharing and reuse. Problem-solving methods are knowledg e models of the reasoning process of knowledge-based systems. In this paper, we present a method called inverse verification to deal with th e context dependency of problem-solving methods. Inverse verification investigates the context dependency of a method by making underlying a ssumptions explicit. It uses failed proof attempts as a search method for assumptions and an analysis of these failures for constructing and refining assumptions. (C) 1998 Academic Press.