Gently used. Expect delivery in 20 days. Codice inventario libreria
Riassunto: 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.
L'autore: Frank van Harmelen is Professor in the Department of Artificial Intelligence at the Vrije Universiteit, Amsterdam, the Netherlands.
Titolo: Logic-Based Knowledge Representation (Logic ...
Casa editrice: The MIT Press
Data di pubblicazione: 1989
Condizione libro: very good
Descrizione libro MIT Press, 1989. Condizione libro: Good. This book has hardback covers. Ex-library, With usual stamps and markings, In good all round condition. No dust jacket. Codice libro della libreria 3604117
Descrizione libro MIT Press 01/01/1989, 1989. Condizione libro: used-good. - GREAT BOOK IN GOOD OR BETTER CONDITION, NORMALLY SENT SAME DAY FROM WAREHOUSE. Codice libro della libreria 7719-026210038X
Descrizione libro The MIT Press, 1989. Condizione libro: Good. N/A. Former Library book. Shows some signs of wear, and may have some markings on the inside. Codice libro della libreria GRP88602114
Descrizione libro MIT Press, 1989. Condizione libro: Fair. This book has hardback covers. Ex-library, With usual stamps and markings, In fair condition, suitable as a study copy. Codice libro della libreria 3673470
Descrizione libro Condizione libro: Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: SOME ] [ Edition: Second ] Publisher: The MIT Press Pub Date: 4/12/1989 Binding: Hardcover Pages: 273 Second edition. Codice libro della libreria 5167477
Descrizione libro Condizione libro: Good. Book Condition: Good. Codice libro della libreria 97802621003804.0
Descrizione libro Condizione libro: Very Good. Book Condition: Very Good. Codice libro della libreria 97802621003803.0
Descrizione libro The MIT Press, 1989. Hardcover. Condizione libro: New. Codice libro della libreria DADAX026210038X