Deductive Retrieval Mechanisms for State Description Models

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1975
Accession Number
ADA458070

Entities

People

  • Richard E. Fikes

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Automatic
  • Availability
  • Classification
  • Computer Programming
  • Contracts
  • Demographic Cohorts
  • Environment
  • Generators
  • Information Operations
  • Instructions
  • Language
  • Linguistics
  • Monitoring
  • Programming Languages
  • Security
  • Words (Language)

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computational Linguistics
  • Computational Modeling and Simulation