Reasoning from Incomplete Knowledge in a Procedural Deduction System.
Abstract
Procedural deduction languages, such as PLANNER, have been valuable tools for building models involving the notion of an explicit model of a problem situation. This report explores methods of increasing the ability of procedural deduction systems to deal with incomplete knowledge. The report 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1975
- Accession Number
- ADA024971
Entities
People
- Robert Carter Moore
Organizations
- Massachusetts Institute of Technology