KSL-96-07 + redirect page
Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A + Has identifier
Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A + Ksl tr id
Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A + Number
| Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A |
Bibtype
techreport
Has publishing details
February,1996
Has title
Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A
Has where published
KSL-96-07
Has year
1996
Title
Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A
Year
1996
Abstract
The identification of reusable problem-sol … The identification of reusable problem-solving methods can improve knowledge engineering by allowing developers to design reasoners quickly from preexisting components. An important factor for successful method reuse is the specification of preexisting methods. The PROTEGE-II approach allows developers to select methods from a library, and to map methods to a domain ontology. KARL is a formal and executable knowledge-specification language that provides modeling primitives for expressing problem-solving methods. In this paper, we show how the code and informal descriptions of problem-solving methods in PROTEGE-II can be supplemented with the formal method definitions in KARL. For our case study, we have chosen two methods from the PROTEGE-II framework: chronological backtracking and its task specific refinement: the board-game method. Therefore, we give insights in the development of task-specific (i.e., strong) problem-solving methods starting with general-purpose methods. We also show how such a task-specific method can be adapted to a given domain. c method can be adapted to a given domain.
Note
Medical Computer Science
Address
Stanford, CA, USA +
Author
Dieter Fensel and Henrik Eriksson and Mark A. Musen and Rudi Studer +
Has author
Dieter Fensel and Henrik Eriksson and Mark A. Musen and Rudi Studer +
Has identifier
Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A +
Month
February +
Number
Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
