Prodigy Planning Algorithm

Abstract

We present a formal description of the planning algorithm used in the Prodigy 4.0 system. The algorithm is based on an interesting combination of backward-chaining planning and simulation of plan execution. The backward-chainer selects goal-relevant operators, and then Prodigy simulates their application to the current state of the world. The system can use different backward-chaining procedures, some of which are presented in the paper.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1994
Accession Number
ADA278900

Entities

People

  • Eugene Fink
  • Manuela M. Veloso

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computer Science
  • Computers
  • Efficiency
  • Language
  • Learning
  • Reasoning
  • Sequences
  • Simulations
  • Simulators

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence