Error title
Some error text about your books and stuff.
Close
  • ISBN: 9780262132350
  • ISBN10: 0262132354

Ontic: A Knowledge Representation System for Mathematics

by McAllester, David A.

  • List Price: $29.95
  • Binding: Hardcover
  • Publisher: MIT Press
  • Publish date: 08/11/1989
used Add to Cart $1.67
You save: 94%
Marketplace Item
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.

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.
Expand description
Seller Condition Comments Price  
Hippo Books

Location: Toledo, OH
Very Good
May have shelf wear or edge rubbing. Pages are clean and free of textual notes or other markings.
$1.67
GuthrieBooks

Location: Spring Branch, TX
Very Good
Shipping Icon
Hardcover. Very Good in Very Good dust jacket. Clean, tight.
$15.73
Abacus Bookshop

Location: Pittsford, NY
Like New
Shipping Icon
8vo, 158 pp., Review copy with review slip laid-in.
$28.12
Books

Location: Nashville, TN
Good
MIT 1989 hardcover, very good in good dj (chipped, closed tears, spine frayed top and bottom), in mylar, mathematics, blm50.
$50.62