Using the CARMEN'S framework to model and acquire knowledge

Abstract

The manner in which CARMEN (Constraints And Rules Management ENgine), an operational expert system generator developed as part of the ESPRIT project ITHACA, models and acquires knowledge is discussed. Central to CARMEN are three types of control entities (TASKs, MKSs and BKSs) which are used to describe problem-solving at the knowledge-use level. Modeling of domain knowledge is done both at the deep and surface levels. The Integrity Checking Task (or ICT) is used to illustrate the manner in which CARMEN works. We conclude the paper with a comparison of CARMEN with other approaches in knowledge modeling.