Domain model for constructing a knowledge based system

Abstract

An expert system tool, ASPROGEN (automatic search program generator), is described. It has a domain model editor, by which tool users can define their problems in an object-oriented way, and a built-in function for automatic generation of a domain-specific inference program. This function uses search-based program specifications and an abstract data type of search. The descriptiveness of this domain model is shown by applying ASPROGEN to a scheduling problem.<>