Logic-Based Knowledge Representation

by Peter Jackson

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...

• Format: Hardcover
• Language: English
• ISBN: 026210038X
• ISBN13: 9780262100380
• Release Date: January 1989
• Publisher: MIT Press (MA)
• Length: 255 Pages
• Weight: 1.60 lbs.
• Dimensions: 0.8" x 7.3" x 9.3"