Inverse verification of problem-solving
β
DIETER FENSEL; ARNO SCH Γ
π
Article
π
1998
π
Elsevier Science
π
English
β 395 KB
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 knowledge models of the reasoning process of knowledgebased systems. In this paper, we present a m