Advanced Search
DSpace@MIT

Taxonomic Syntax for First-Order Inference

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.author McAllester, David en_US
dc.contributor.author Givan, Robert en_US
dc.date.accessioned 2004-10-04T15:13:17Z
dc.date.available 2004-10-04T15:13:17Z
dc.date.issued 1989-06-01 en_US
dc.identifier.other AIM-1134 en_US
dc.identifier.uri http://hdl.handle.net/1721.1/6507
dc.description.abstract Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express an intuitive feeling that there must be some advantage to representing facts as taxonomic relationships rather than first order formulas, there are few, if any, technical results supporting this intuition. We attempt to remedy this situation by presenting a taxonomic syntax for first order predicate calculus and a series of theorems that support the claim that taxonomic syntax is superior to classical syntax. en_US
dc.format.extent 2814691 bytes
dc.format.extent 2220235 bytes
dc.format.mimetype application/postscript
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.relation.ispartofseries AIM-1134 en_US
dc.title Taxonomic Syntax for First-Order Inference en_US


Files in this item

Name Size Format Description
AIM-1134.ps 2.684Mb Postscript
AIM-1134.pdf 2.117Mb PDF

This item appears in the following Collection(s)

Show simple item record

MIT-Mirage