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.

About the Author

Frank van Harmelen is Professor in the Department of Artificial Intelligence at the Vrije Universiteit, Amsterdam, the Netherlands.

"About this title" may belong to another edition of this title.

Store Description

The Bookseller is located in Edmonton, Alberta, Canada. We offer a select stock (approximately 40,000 volumes) of used, rare, and out-of-print books including 19th and 20th century first editions and collectible literature, as well as illustrated and juvenile books, art, architecture, theology, church history, philosophy and history. We have major specializations in Christian Theology and ecclesiastical and literary catholica including the works of John Henry Cardinal Newman, G. K. Chesterton, H. Belloc, C. S. Lewis and similar authors. Please take some time to browse our listings at www.thebookseller.ca. We are always buying collections large or small within the areas noted above. Please feel free to contact us if you are selling, no matter where you are located, as we are willing to travel and make shipping arrangements.

Visit Seller's Storefront

Seller's business information

The Bookseller
AB, Canada

Sale & Shipping Terms

Terms of Sale

Please note that we grade our books carefully and conservatively -- your satisfaction is our goal and is guaranteed! VISA , MasterCard and American Express payments processed by Abebooks' secure server. We also accept PayPal (sales@thebookseller.ca), and International money orders. For orders outside of Canada, all importation fees, Customs fees and taxes are the responsibility of the buyer. Returns accepted within 30 days upon notification and a reason given. EU Information The Bookseller P.O. ...

More Information

Shipping Terms

PLEASE NOTE THAT WE ALSO SHIP BY COURIER / USPS, SO WE ARE NOT AFFECTED BY A POSSIBLE CANADA POST STRIKE. Shipping rates are based on packages weighing 2.2 lbs (1 kg). On occasion, very heavy books, as well as sets, may require additional shipping charges.

Shipping rates from Canada to U.S.A.

Shipping rates from Canada to U.S.A.
Order quantity	15 to 25 business days	15 to 25 business days
First item	US$ 16.00	US$ 16.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.