next up previous
Next: INTRODUCTION

Describing Reusable Problem-Solving Methods with a Method Ontology

Eliana Coelhogif and Guy Lapalme
Département d'Informatique et de Recherche Opérationnelle,
Université de Montréal
C.P. 6128 Succ. Centre-Ville, Montréal, Québec, Canada, H3C 3J7
email: {coelho,lapalme}@iro.umontreal.ca

Abstract:

To reuse a problem-solving method, a knowledge engineer must know the assumptions about the structure of the knowledge roles inherent to the method. We construct a method ontology in order to formalize these assumptions. This ontology defines the roles played by the knowledge in the inference process, and serves as an interface for the knowledge engineer to evaluate if an application domain conforms to the structure of knowledge used by the method. In addition, we define the inferences of the problem-solving method according to its method ontology. This definition is declarative and abstracts from the implementation details. We illustrate our approach using the problem-solving method Propose&Revise.



Eliana Coelho
Wed Sep 4 15:57:17 EDT 1996