An edition of ONTIC (1989)

ONTIC

a knowledge representation system for mathematics

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

When you buy books using these links the Internet Archive may earn a small commission.

Last edited by ImportBot
January 15, 2023 | History
An edition of ONTIC (1989)

ONTIC

a knowledge representation system for mathematics

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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.

Publish Date
Publisher
The MIT Press
Language
English
Pages
174

Buy this book

When you buy books using these links the Internet Archive may earn a small commission.

Previews available in: English

Edition Availability
Cover of: ONTIC
ONTIC: a knowledge representation system for mathematics
August 11, 1989, The MIT Press
Hardcover in English
Cover of: Ontic
Ontic: a knowledge representation system for mathematics
1989, MIT Press
in English

Add another edition?

Book Details


Published in

Cambridge, Massachusetts

Edition Notes

Series
Artificial intelligence

Classifications

Library of Congress
QA76.9.A96 M37 1989

The Physical Object

Format
Hardcover
Number of pages
174
Dimensions
9.2 x 6.2 x 0.8 inches
Weight
1 pounds

ID Numbers

Open Library
OL10237356M
Internet Archive
ONTICAKnow_00_McAl
ISBN 10
0262132354
ISBN 13
9780262132350
LCCN
88008090

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
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
June 13, 2018 Edited by LeadSongDog Edited without comment.
April 30, 2008 Created by an anonymous user Imported from amazon.com record.