Advanced Search

Reasoning from Incomplete Knowledge in a Procedural Deduction System

Research and Teaching Output of the MIT Community

Show simple item record Moore, Robert Carter en_US 2004-10-20T20:05:41Z 2004-10-20T20:05:41Z 1975-12-01 en_US
dc.identifier.other AITR-347 en_US
dc.description.abstract One very useful idea in AI research has been the notion of an explicit model of a problem situation. Procedural deduction languages, such as PLANNER, have been valuable tools for building these models. But PLANNER and its relatives are very limited in their ability to describe situations which are only partially specified. This thesis explores methods of increasing the ability of procedural deduction systems to deal with incomplete knowledge. The thesis examines in detail, problems involving negation, implication, disjunction, quantification, and equality. Control structure issues and the problem of modelling change under incomplete knowledge are also considered. Extensive comparisons are also made with systems for mechanica theorem proving. en_US
dc.format.extent 10580006 bytes
dc.format.extent 8308773 bytes
dc.format.mimetype application/postscript
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.relation.ispartofseries AITR-347 en_US
dc.title Reasoning from Incomplete Knowledge in a Procedural Deduction System en_US

Files in this item

Name Size Format Description 10.08Mb Postscript
AITR-347.pdf 7.923Mb PDF

This item appears in the following Collection(s)

Show simple item record