Accession Number:

ADA458070

Title:

Deductive Retrieval Mechanisms for State Description Models

Descriptive Note:

Technical note

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER

Personal Author(s):

Report Date:

1975-07-01

Pagination or Media Count:

27.0

Abstract:

This paper presents some programming facilities for modeling the semantics of a task domain and for describing the situations that occur in that domain as a task is being carried out. Each such description models a state of the task environment, and any given state can be transformed into a new state by the occurrence of an event that alters the environment. Such modeling systems are vital in many Al systems, particularly those that do question-answering and those that do automatic generation and execution monitoring of plans. The modeling mechanisms described are basically extensions and modifications of facilities typically found in Al programming languages such as PLANNER, CONNIVER, and QA4. In particular, we discuss our use of a 3 valued logic, generator functions to deduce answers to model queries, the saving and maintaining of derived results, and new facilities for modeling state changes produced by the occurrence of events.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE