| dc.contributor.author |
McAllester, David Allen |
en_US |
| dc.date.accessioned |
2004-10-20T20:10:43Z |
|
| dc.date.available |
2004-10-20T20:10:43Z |
|
| dc.date.issued |
1987-07-01 |
en_US |
| dc.identifier.other |
AITR-979 |
en_US |
| dc.identifier.uri |
http://hdl.handle.net/1721.1/6959 |
|
| dc.description.abstract |
Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic system has been used to build a data base of definitions and lemmas leading to a proof of the Stone representation theorem for Boolean lattices. The Ontic system has been used to explore issues in knowledge representation, automated deduction, and the automatic use of large data bases. |
en_US |
| dc.description.provenance |
Made available in DSpace on 2004-10-20T20:10:43Z (GMT). No. of bitstreams: 2
AITR-979.ps: 44303384 bytes, checksum: 44df1f6110c53ffe334a28298f2f0a63 (MD5)
AITR-979.pdf: 35932682 bytes, checksum: 544493663567f3698ff259e4a953c81e (MD5)
Previous issue date: 1987-07-01 |
en |
| dc.format.extent |
44303384 bytes |
|
| dc.format.extent |
35932682 bytes |
|
| dc.format.mimetype |
application/postscript |
|
| dc.format.mimetype |
application/pdf |
|
| dc.language.iso |
en_US |
|
| dc.relation.ispartofseries |
AITR-979 |
en_US |
| dc.title |
ONTIC: A Knowledge Representation System for Mathematics |
en_US |
