A Modal Logic Framework for an A.I. Planning System.

Abstract

A formal development of planning systems is constructed in this paper. The problem solving system is developed in the framework of a modal logic and the concept of weakest precondition is introduced to guide the solution procedure. The procedure is a generalization of several well-known problem solving algorithms. Moreover, there may be some gains in practicality of the algorithm resulting from this extension, which is illustrated by an example. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1980
Accession Number
ADA087521

Entities

People

  • Andrew B. Whinston
  • R. Preston Mcafee

Tags

Communities of Interest

  • Autonomy
  • C4I
  • Human Systems

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Calculus
  • Computations
  • Computer Science
  • Computers
  • Environment
  • Formal Languages
  • Information Science
  • Iterations
  • Language
  • Mathematics
  • Observation
  • Real Numbers
  • Sequences
  • Simulations
  • Trees (Data Structures)

Readers

  • Artificial Intelligence
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design