Titlebook: European Workshop on Planning; EWSP‘91, Sankt Augus Joachim Hertzberg Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 De

hankering

,HELP — A hierarchical execution-Led planner for robotic domains,HELP has been developed as a prototype of part of the functionality of a generic robot architecture. We discuss its main features and highlight execution-led planning and planning ‘moods’ as two ways of coming to terms with the planner’s lack of complete and accurate knowledge of the real world.

Glucose

Towards a theory of simultaneous actions,We will lay down a model of concurrency for planning problems. The model will be expressive enough for representing real simultaneity of primitive actions without getting too complicated for the plan synthesis process. The model will be described in detail and its use in respect to the synthesis of terminating plans is demonstrated in an example.

膽汁

衍生

Vertebra

978-3-540-54364-0Springer-Verlag Berlin Heidelberg 1991

accordance

vanquish

Integrating classical and reactive planning within an architecture for autonomous agents,in Common Lisp, consists of a number of layers, each of which occupies a different position on the flexibility versus computational tractability trade-off. By integrating a high-level declarative planner with a reactive planner using situated-action rules, the architecture combines the flexibility o

天空

星星

Default connections in a modal planning framework,ditional logic, this framework is enhanced by a particular kind of “default reasoning”, which is enabled by the particular way we have chosen to specify plan generation problems. We claim that the proposed framework translates the essential ideas of linear proofs [BIB 86b] into modal logic.

KIN