Plan Synthesis: A Logical Perspective,

Abstract

This paper explores some theoretical issues of robot planning from the perspective of propositional dynamic logic. A generalized notion of 'progression' and 'regression' of conditions through actions is developed. This leads to a bidirectional single-level planning algorithm which is easily extended to hierarchical planning. Multiple pre/post-condition pairs, complex (conjunctive, disjunctive) goals, goals of maintenance and prevention, and plans with tests are all handled in a natural way. The logical framework is used to clarify gaps in existing 'nonlinear' and 'hierarchical' planning strategies. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1981
Accession Number
ADA108733

Entities

People

  • Stanley J. Rosenchein

Organizations

  • SRI International

Tags

Communities of Interest

  • Autonomy
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Acquisition
  • Algorithms
  • Artificial Intelligence
  • Computer Programming
  • Computer Science
  • Computers
  • Language
  • Maintenance
  • Massachusetts
  • New York
  • Programming Languages
  • Reasoning
  • Semantics
  • Sequences
  • Simulations
  • Vocabulary

Readers

  • Artificial Intelligence

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms
  • Autonomy
  • Autonomy - Autonomous System Control