Skip to main content
Article
Socrates: A flexible toolkit for building logic-based expert systems.
Faculty Publications
  • Rob Corlett
  • Nick Davies
  • Robin Khan
  • Han Reichgelt
  • Frank van Harmelen
SelectedWorks Author Profiles:

Han Reichgelt

Document Type
Article
Publication Date
1988
Date Issued
January 1988
Date Available
July 2014
Disciplines
Abstract

This paper describes the architecture of the Socrates toolkit for building expert systems. The authors analyse the problems associated with existing expert system tools and propose a solution based on the use of logic and meta-level inference. The abstract architecture for the toolkit is described which embodies this combination of logic and meta-level inference. This architecture can be instantiated to create a system that is specialized for a particular application. This specialization process can be seen as a methodology for building expert systems. The three stages of this methodology are discussed in detail, along with descriptions of how the Socrates toolkit supports it. The current implementation of Socrates, plus a number of applications of the toolkit are described, and the open problems are discussed.

Comments
Citation only. Full-text article is available through licensed access provided by the publisher. Published in Knowledge-based Systems, 1(3), 132-142. doi: 10.1016/0950-7051(88)90071-8
Language
en_US
Publisher
Elsevier
Creative Commons License
Creative Commons Attribution-Noncommercial-No Derivative Works 4.0
Citation Information
Corlett, R., Davies, N., Khan, R. Reichgelt, H. & van Harmelen, F. (1988). Socrates: A flexible toolkit for building logic-based expert systems. Knowledge-based Systems, 1(3), 132-142. doi: 10.1016/0950-7051(88)90071-8