Logic-based knowledge representation.
USFSP Faculty Role
Co-Editor
Files
Description
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.
ISBN
978-0262100380
Publication Date
1989
Publisher
MIT Press
Disciplines
Business
Recommended Citation
Reichgelt, Johannes "Han"; Jackson, Peter; and van Harmelon, Frank, "Logic-based knowledge representation." (1989). Faculty Books. 142.
https://digitalcommons.usf.edu/books/142
