ONTIC: A Knowledge Representation System for Mathematics

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6959

Full metadata record

DC Field	Value	Language
dc.creator	McAllester, David Allen	-
dc.date	2004-10-20T20:10:43Z	-
dc.date	2004-10-20T20:10:43Z	-
dc.date	1987-07-01	-
dc.date.accessioned	2013-10-09T02:47:58Z	-
dc.date.available	2013-10-09T02:47:58Z	-
dc.date.issued	2013-10-09	-
dc.identifier	AITR-979	-
dc.identifier	http://hdl.handle.net/1721.1/6959	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	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.	-
dc.format	44303384 bytes	-
dc.format	35932682 bytes	-
dc.format	application/postscript	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	AITR-979	-
dc.title	ONTIC: A Knowledge Representation System for Mathematics	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI