Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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.
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Ontic: a knowledge representation system for mathematics
1989, MIT Press
in English
0262132354 9780262132350
|
zzzz
Libraries near you:
WorldCat
|
2
ONTIC: a knowledge representation system for mathematics
August 11, 1989, The MIT Press
Hardcover
in English
0262132354 9780262132350
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
2 days ago | Edited by MARC Bot | import existing book |
January 15, 2023 | Edited by ImportBot | import existing book |
November 8, 2020 | Edited by MARC Bot | import existing book |
October 17, 2019 | Edited by Brittany Bunk | Added new cover |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |