Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Article557

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

Inverse Verification of Problem-Solving Methods


Dieter Fensel, Arno Schönegge



Veröffentlicht: 1998

Journal: International Journal of Human-Computer Studies (IJHCS)
Nummer: 49



Referierte Veröffentlichung
BibTeX




Kurzfassung
Context dependency of knowledge models causes several problems: unreliability of knowledge-based systems, maintainability effort and limitations for sharing and reuse. Problem-solving methods are knowledge models of the reasoning process of knowledge-based systems. In the paper we present a method called inverse verification to deal with the situatedness of problem-solving methods. Inverse verification investigates the context dependency of a method by making underlaying assumptions explicit. It uses failed proof attempts as a search method for assumptions and analysis of these failures for constructing and refining assumptions.

Download: Media:1998_557_Fensel_Inverse_Verific_1.pdf,Media:1998_557_Fensel_Inverse_Verific_1.ps



Forschungsgruppe

Web Science und Wissensmanagement