Jon L. Cunningham
This paper describes how a program designed to build a model (in the formal logical sense) can be used as the inference component of an Expert System. Some details of an existing program to do the model building task are described. This program works with a powerful many sorted logic. Use of a many sorted logic has computational advantages for this task, and these advantages also carry over to the use of the program as the inference component of an Expert System. In addition, some advanced features of the existing program form the basis for a non-numerical handling of uncertain knowledge.
This paper is not available online