Turning an Action Formalism Into a Planner - Essentials of a Case Study

@inproceedings{Hertzberg1994TurningAA,
  title={Turning an Action Formalism Into a Planner - Essentials of a Case Study},
  author={Joachim Hertzberg and Sylvie Thi{\'e}baux},
  booktitle={ISMIS},
  year={1994}
}
We describe notions that are useful for building planners whose reasoning about action matches a given formal calculus for such reasoning. As a planner has to reason under resource constraints, one may require that its plans are just approximately correct wrt. the action formalism. To nonetheless ground its practical reasoning formally, we develop the notion of limited correctness of a planner wrt. an action formalism. 

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.