Verwandte Artikel zu ONTIC: Knowledge Representation System for Mathematics...
ONTIC: Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence) - Hardcover
Inhaltsangabe
McAllestar (computer science, MIT) describes ONTIC, the interactive system for verifying "natural" mathematical arguments, which represents a significant change of direction in the field of mechanical deduction, a key area in computer science and artificial intelligence. Annotation copyright Book News, Inc. Portland, Or.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
ONTIC, the interactive system for verifying "natural" mathematical arguments that David McAllester describes in this book, represents a significant change of direction in the field of mechanical deduction, a key area in computer science and artificial intelligence.ONTIC is an interactive theorem prover based on novel forward chaining inference techniques. It is an important advance over such earlier systems for checking mathematical arguments as Automath, Nuprl, and the Boyer Moore system. The first half of the book provides a high-level description of the ONTIC system and compares it with these and other automated theorem proving and verification systems. The second half presents a complete formal specification of the inference mechanisms used.McAllester's is the only semi automated verification system based on classical Zermelo-Fraenkel set theory. It uses object oriented inference, a unique automated inference mechanism for a syntactic variant of first order predicate calculus. The book shows how the ONTIC system can be used to check such serious proofs as the proof of the Stone representation theorem without expanding them to excessive detail.David A McAllester is an Assistant Professor of Computer Science at MIT. "ONTIC: A Knowledge Representation System for Mathematics" is included in the Artificial Intelligence series, edited by Patrick Henry Winston and Michael J. Brady.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für ONTIC: Knowledge Representation System for Mathematics...
Beispielbild für diese ISBN
Ontic: A Knowledge Representation System for Mathematics
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture légèrement déchirée. Salissures sur la tranche. Couverture différente. 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. Slightly torn cover. Stains on the edge. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-573-876
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Ontic: Knowledge Representation System for Mathematics (The Mit Press Series in Artificial Intelligence) Mcallester
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Dust jacket has some creases and wear in places. Generally showing its age. Tear in the bottom left corner. Content has some inscriptions. A decent hardback copy. Bestandsnummer des Verkäufers 13413-9
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
ONTIC: A Knowledge Representation System for Mathematics.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: as new. Cambridge, MA: The MIT Press, 1989. Hardcover. Dustjacket. 272 pp.English text. Condition : as new. Condition : as new copy. ISBN 9780262132350. Keywords : , Bestandsnummer des Verkäufers 253711
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
ONTIC: A Knowledge Representation System for Mathematics (Artificial Intelligence)
Anbieter: MB Books, Derbyshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Condition : Good. Former university library copy with associated markings. Hard cover, no jacket.158pp. No annotations or highlighting to text. Photo on request. Bestandsnummer des Verkäufers 943131
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Ontic : A Knowledge Representation System for Mathematics
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. First Edition. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 5418139-6
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Ontic: A Knowledge Representation System for Mathematics
Verlag:
MIT Press, Cambridge, 1989
ISBN 10: 0262132354
ISBN 13: 9780262132350
Gebraucht
Hardcover
Erstausgabe
Anbieter: Abacus Bookshop, Pittsford, NY, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. 1st. 8vo, 158 pp., Review copy with review slip laid-in. Fine copy in nearly fine dust jacket. Bestandsnummer des Verkäufers 073594
Anzahl: 1 verfügbar