Advanced Search

Taxonomic Syntax for First-Order Inference

Research and Teaching Output of the MIT Community

Show simple item record McAllester, David en_US Givan, Robert en_US 2004-10-04T15:13:17Z 2004-10-04T15:13:17Z 1989-06-01 en_US
dc.identifier.other AIM-1134 en_US
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 2.684Mb Postscript
AIM-1134.pdf 2.117Mb PDF

This item appears in the following Collection(s)

Show simple item record