Mit Press (1989)

This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. It presents research done by members of the expert systems group of the Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages. The editors introduce these hypotheses and present the arguments in their favor They then describe Socrates' a tool for the construction of expert systems that is based on these assumptions. They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency. The chapters dealing with the representation problem present a reified approach to temporal logic that makes it possible to use nonstandard logics without extending the system, and describe a general proof method for arbitrary modal logics. Those dealing with the efficiency problem discuss the technique of partial evaluation and its limitations, as well as another possible solution known as assertion-time inference. Peter Jackson is a Senior Scientist in the Department of Applied Mathematics and Computer Sciences at the McDonnell Douglas Research Laboratory in St. Louis. Han Reichgelt is a Lecturer in Department of Psychology at the University of Nottingham. Frank van Harmelen is a Research Fellow in the Mathematical Reasoning Group at the University of Edinburgh.
Keywords Computer programming   Expert systems   Logic, Symbolic and mathematical
Categories (categorize this paper)
Buy this book $20.00 used (60% off)   Amazon page
ISBN(s) 026210038X   026210038X   9780262100380
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Logic Programming and Knowledge Engineering.Tore Amble - 1987 - Addison Wesley Publishing Company.
First-Order Dynamic Logic.David Harel - 1982 - Journal of Symbolic Logic 47 (2):453-454.


Added to PP index

Total views
1 ( #1,558,399 of 2,533,653 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,653 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes