Items related to Logic-Based Knowledge Representation (Mit Press Series...
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.
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.
"synopsis" may belong to another edition of this title.
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.
- PublisherMit Pr
- Publication date1989
- ISBN 10 026210038X
- ISBN 13 9780262100380
- BindingHardcover
- Number of pages273
- Rating
Top Search Results from the AbeBooks Marketplace
Seller Image
Logic-Based Knowledge Representation
Seller:
Rating
Book Description Hardcover. Condition: Good+. Dust Jacket Condition: No Dust Jacket. Foxing to exterior edge of pages. - Great overall condition. Minor cosmetic wear. No noteworthy blemishes. No writing.; Mit Press Series In Logic Programming. Seller Inventory # HVD-26151-OS-0
Buy Used
US$ 27.00
Convert currency
Stock Image
Logic-Based Knowledge Representation (Logic Programming)
Published by
The MIT Press
(1989)
ISBN 10: 026210038X
ISBN 13: 9780262100380
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Very Good+. Minor shelf wear. Otherwise a square, tight, unmarked book. Index. xv, 255 pp. Seller Inventory # 059643
Buy Used
US$ 26.39
Convert currency
Stock Image
Logic-based Knowledge Representation (Logic Programming)
Seller:
Rating
Book Description Hardcover. Condition: Very Good. No Jacket. Seller Inventory # 001389
Buy Used
US$ 20.00
Convert currency
Stock Image
Logic-Based Knowledge Representation (Logic Programming)
Published by
The MIT Press
(1989)
ISBN 10: 026210038X
ISBN 13: 9780262100380
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-573-923
Buy Used
US$ 85.75
Convert currency