A Systematic Approach to the Functionality of Problem-Solving Methods

In this paper, we define a formalization of goals based on set algebra and we show how structural properties of domain relations and goals can be used to select problem solving methods in a library indexed by methods functionality. Our work is motivated by the need to reuse model components for knowledge engineering. We show how to construct a compound method from a goal specification and an abstract description of the domain knowledge. Finally we show that by modifying the required functionality, the same domain knowledge can be used for a different goal.

[1]  G.A.C.M. van Heijst,et al.  Task neutrality: An essential factor for reuse? , 1997 .

[2]  Frank van Harmelen,et al.  (ML)2: A Formal Language for KADS Models , 1992, ECAI.

[3]  Guus Schreiber,et al.  A case study in ontology library construction , 1995, Artif. Intell. Medicine.

[4]  John McDermott,et al.  Preliminary steps toward a taxonomy of problem-solving methods , 1993 .

[5]  Brian R. Gaines,et al.  Current Developments in Knowledge Acquisition — EKAW '92 , 1992, Lecture Notes in Computer Science.

[6]  John McDermott.  The World Would Be a Better Place if Non-Programmers Could Program , 1989 .

[7]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[8]  Bob J. Wielinga,et al.  Differentiating Problem Solving Methods , 1992, EKAW.

[9]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[10]  John McDermott,et al.  Usable and reusable programming constructs , 1991 .

[11]  Manfred Aben,et al.  Formally specifying reusable knowledge model components , 1993 .

[12]  Dieter Fensel,et al.  Specification and Verification of Knowledge-Based Systems , 1996 .

[13]  Larry Eshelman,et al.  MOLE: A Knowledge-Acquisition Tool for Cover-and-Differentiate Systems , 1988 .

[14]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[15]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.