Operationalisation Of Kads Models By Using Conceptual Graph Modules

This article introduces architecture and basic functions of a tool for programming conceptual models called [KADS]->(on)->[CG]. The tool enforces explainability of the resulting expert system and is independent from a particular problem class or problem solving method. It is based on the KADS knowledge engineering methodology which results in a conceptual model, and uses Sowas Conceptual Graphs (CG) as a knowledge representation formalism. Some features for dealing with modules are added to CGs. KADS' domain knowledge is easily mapped into CGs. Inference knowledge modules are instantiated from generic descriptions. They are declaratively described by using modules of semantic networks, or by using Sowa's terminology, a canon. We introduce goals and their satisfaction to CG to describe task knowledge. We give an example how a conceptual model could be represented using CG modules. 1. INTRODUCTION 1.1. Some Remarks on our Terminology When talking about knowledge levels or layers we use ..