Article557: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Erster Autor | ||
+ | |ErsterAutorNachname=Fensel | ||
+ | |ErsterAutorVorname=Dieter | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Arno Schönegge | |Author=Arno Schönegge | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Article | {{Article |
Version vom 8. September 2009, 10:46 Uhr
Inverse Verification of Problem-Solving Methods
Inverse Verification of Problem-Solving Methods
Veröffentlicht: 1998
Journal: International Journal of Human-Computer Studies (IJHCS)
Nummer: 49
Referierte Veröffentlichung
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