Accession Number:

ADA024971

Title:

Reasoning from Incomplete Knowledge in a Procedural Deduction System.

Descriptive Note:

Technical rept.,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

Report Date:

1975-12-01

Pagination or Media Count:

120.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE