ONTIC
David A. McAllester
Reading Time
at 250 WPM2h 54m
The average reader, reading at a speed of 250 WPM, would take 2h 54m to read ONTIC.
Personalise your estimate by entering your reading speed below
Test my reading speedEnter speed in words per minute
6
days at 30 min/day
174
total minutes
ONTIC
Published
August 11, 1989
Publisher
The MIT Press
Pages
174
ISBN-13
9780262132350
ISBN-10
0262132354
Description
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.
Subjects
Automated Theorem Proving
Automated theorem proving
Automated theorem proving
Theorem-proving systems
Introduction to mechanical theorem proving
Automated theorem proving
Frequently Asked Questions
How many pages are in ONTIC?
This edition of ONTIC has approximately 174 pages. Please note, this is an estimate and the exact page count can vary between hardcover, paperback, and e-book versions.
How long does it take to read ONTIC?
For most readers, ONTIC typically takes between 3h 38m and 2h 25m to complete. This is based on the book's length of approximately 43,500 words and common reading speeds.
Here's a detailed breakdown: • Continuous reading at 250 WPM: approximately 2h 54m of focused reading • Casual reading (30 minutes/day): you could finish in roughly 6 days • Estimated word count: 43,500 words
Your individual reading time will vary based on your personal reading pace, the amount of daily reading time, and your familiarity with the subject matter.
What is the word count of ONTIC?
The estimated word count for ONTIC is approximately 43,500 words. This figure is calculated using industry-standard methods that consider genre-specific word density patterns, typical formatting and layout characteristics, and standard words-per-page ratios for published books.
This is an approximation — actual word count may vary based on font size, formatting, edition, and the presence of illustrations or charts.
Who is the author of ONTIC?
ONTIC was written by David A. McAllester.
When was ONTIC published?
The publication date for this specific edition is August 11, 1989. The original work may have been published on a different date.