Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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 Professor in the Knowledge Representation and Reasoning Group of the Department of Computer Science at the VU University Amsterdam.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Logic-Based Knowledge Representation
Image d'archives
Logic-Based Knowledge Representation
Edité par
MIT Press, 1989
ISBN 10 : 026210038X
ISBN 13 : 9780262100380
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 18889703-6
Acheter D'occasion
EUR 23,87
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic-Based Knowledge Representation (Mit Press Series in Logic Programming)
Edité par
Mit Pr, 1989
ISBN 10 : 026210038X
ISBN 13 : 9780262100380
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G026210038XI3N10
Acheter D'occasion
EUR 23,88
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic-Based Knowledge Representation
Edité par
Mit Pr, 1989
ISBN 10 : 026210038X
ISBN 13 : 9780262100380
Ancien ou d'occasion
Couverture rigide
Vendeur : True Oak Books, Highland, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good+. Etat de la jaquette : No Dust Jacket. Mit Press Series In Logic Programming; Foxing to exterior edge of pages. - Great overall condition. Minor cosmetic wear. No noteworthy blemishes. No writing.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. N° de réf. du vendeur HVD-26151-OS-0
Acheter D'occasion
EUR 24,15
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic-Based Knowledge Representation (Mit Press Series in Logic Programming)
Edité par
Mit Pr, 1989
ISBN 10 : 026210038X
ISBN 13 : 9780262100380
Ancien ou d'occasion
Couverture rigide
Vendeur : Lavendier Books, Foster, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. The MIT Press; Cambridge, 1989. Hardcover. Review Copy with publisher review slip laid in. A Very Good, illustrated boards, binding sturdy and intact, bit cocked, some crimping to spine edges, bit of age toning to pages, crease top rear free endpaper, without Dust wrapper. A nice, clean and unmarked copy. 4to[quarto or approx. 11.5 x 13.5 inches], 255pp., bibliography, indexed. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. N° de réf. du vendeur SKU1043855
Acheter D'occasion
EUR 26,83
Frais de port :
EUR 4,34
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic-Based Knowledge Representation (Logic Programming)
Edité par
The MIT Press, 1989
ISBN 10 : 026210038X
ISBN 13 : 9780262100380
Ancien ou d'occasion
Couverture rigide
Vendeur : The Bookseller, Edmonton, AB, Canada
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good+. Minor shelf wear. Otherwise a square, tight, unmarked book. Index. xv, 255 pp. N° de réf. du vendeur 059643
Acheter D'occasion
EUR 22,20
Frais de port :
EUR 13,89
De Canada vers Etats-Unis
Quantité disponible : 1 disponible(s)