M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Proceedings of the European Conference on Planning, pages 64--76, 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....Several authors rely on formal theories of actions for the purposes of characterizing appropriate notions of action failures [2, 24] but they do not consider execution monitoring per se. Perhaps the most sophisticated existing plan execution monitor is the XFRM system of Beetz and McDermott [4, 5]. This provides for the continual modification of robot plans (programs) during their execution, using a rich collection of failure models and plan repair strategies. Nothing in our proposal so far can rival the functionality of the XFRM system. The primary objective of our approach is to provide ....

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In 4th European Conference on Planning (ECP'97), Sam Steel (editor), p. 66--78, Toulouse, France, September 24-26, 1997.

....Several authors rely on formal theories of actions for the purposes of characterizing appropriate notions of action failures [2, 24] but they do not consider execution monitoring per se. Perhaps the most sophisticated existing plan execution monitor is the XFRM system of Beetz and McDermott [4, 5]. This provides for the continual modification of robot plans (programs) during their execution, using a rich collection of failure models and plan repair strategies. Nothing in our proposal so far can rival the functionality of the XFRM system. The primary objective of our approach is to provide ....

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In 4th European Conference on Planning (ECP'97), Sam Steel (editor), p. 66--78, Toulouse, France, September 24-26, 1997.

.... revisions into ongoing activities: a partially executed restartable plan can be revised by terminating the plan and starting the new plan that contains the revisions (BM96) The basics of how to specify such plan transformation rules and their application to srps are described and discussed in (BM97; BM94) Some of the rules work on predicted execution scenarios projected for the e ects of srps (BG98) 4. Implementation So far, we have only discussed which properties concurrent reactive plans should have, but not how the plans can be coded to satisfy these properties. This is the theme of ....

....restricted capabilities and computational resources of robots might make it impossible to specify such plans. 4.3. Revision Rules The reasoning necessary to make an unanticipated decision and the installment of the decision is implemented as a plan revision rule that can be applied to the plan (BM97; BM94) We write plan revision rules in the form if cond then transform ips into ops where cond is the applicability condition, ips at cp the input plan schema and ops the output plan schema of the rule. The applicability condition is a conjunction of literals. The input plan schema consists of a ....

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Recent Advances in AI Planning. Proceedings of the 1997 European Conference on Planning, pages 64-76. Springer Publishers, 1997.

....explained in [BM96] 2.5 Plan Adaptation Rules The plan adaptation capabilities are realized through plan transformation rules. The reasoning necessary to make an runtime plan adaptation and the installment of the decision is implemented as a plan revision rule that can be applied to the plan [BM97a, BM94] We write plan revision rules in the form if cond then transform ips1 at cp1 into ops1 . transform ipsn at cpn into opsn where cond is the applicability condition, ips i at cp i the input plan schema and ops i the output plan schema of the rule (see [BM97a] for details) The ....

....be applied to the plan [BM97a, BM94] We write plan revision rules in the form if cond then transform ips1 at cp1 into ops1 . transform ipsn at cpn into opsn where cond is the applicability condition, ips i at cp i the input plan schema and ops i the output plan schema of the rule (see [BM97a] for details) The applicability condition is a conjunction of literals. The input plan schema consists of a pattern variable to which the subplan with code path cp i is bound. cp i specifies the path in the syntax tree where the subplan to be revised can be found. The rule is applicable if the ....

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Recent Advances in AI Planning. Proceedings of the 1997 European Conference on Planning, pages 64--76. Springer Publishers, 1997.

....is performed at a time. Policies that make tactical decisions are executed first to avoid having no up to date executable plan. The reasoning necessary to make an unanticipated decision and the installment of the decision is implemented as a plan revision rule that can be applied to the plan [Beetz and McDermott, 1997; 1994] We write plan revision rules in the form IF cond THEN TRANSFORM ips INTO ops where cond is the applicability condition, ips AT cp the input plan schema and ops the output plan schema of the rule. The applicability condition is a conjunction of literals. The input plan schema consists of ....

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Recent Advances in AI Planning. Proceedings of the 1997 European Conferenceon Planning, pages 64--76. Springer Publishers, 1997.

No context found.

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Recent Advances in AI Planning. Proceedings of the 1997 European Conference on Planning, pages 64--76. Springer Publishers, 1997.

No context found.

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Recent Advances in AI Planning. Proceedings of the 1997 European Conference on Planning, pages 64--76. Springer Publishers, 1997.

No context found.

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Proceedings of the European Conference on Planning, pages 64--76, 1997.

No context found.

Beetz, M., and McDermott, D. 1997. Expressing transformations of structured reactive plans. In Proc. of the European Conf. on Planning,, 64--76. Springer.

No context found.

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Proc. of the European Conf. on Planning,, pages 64-- 76. Springer, 1997.

No context found.

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Proc. of the European Conf. on Planning,, pages 64-- 76. Springer, 1997.

No context found.

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Proceedings of the European Conference on Planning, pages 64--76, 1997.

No context found.

M. Beetz and D. McDermott. Expressing transformations of structured reactive plans. In Recent Advances in AI Planning. Proceedings of the 4th European Conference on Planning, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC