Inverse verification of problem-solving methods

被引：3

作者：

Fensel, D ^{[1
]}

Schonegge, A

机构：

[1] Univ Karlsruhe, Inst AIFB, Kaiserstr 12, D-76128 Karlsruhe, Germany

[2] Univ Karlsruhe, Inst LDK, D-76128 Karlsruhe, Germany

来源：

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES | 1998年 / 49卷 / 04期

关键词：

D O I：

10.1006/ijhc.1998.0210

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 knowledge-based systems. In this paper, we present a method called inverse verification to deal with the context dependency of problem-solving methods. Inverse verification investigates the context dependency of a method by making underlying assumptions 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.

引用

页码：339 / 361

页数：23