Skip to main content
Top

2015 | OriginalPaper | Chapter

ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution

Authors : Enrico Scala, Roberto Micalizio, Pietro Torasso

Published in: Agents and Artificial Intelligence

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The paper presents an approach for the robust plan execution in presence of consumable and continuous resources. Plan execution is a critical activity since a number of unexpected situations could prevent the feasibility of tasks to be accomplished; however, many robotic scenarios (e.g. in space exploration) disallow robotic systems to perform significant deviations from the original plan formulation. In order to both (i) preserve the “stability” of the current plan and (ii) provide the system with a reasonable level of autonomy in handling unexpected situations, an innovative approach based on task reconfiguration is presented. Exploiting an enriched action formulation grounding on the notion of execution modalities, ReCon replaces the replanning mechanism with a novel reconfiguration mechanism, handled by means of a CSP solver. The paper studies the system for a typical planetary rover mission and provides a rich experimental analysis showing that, when the anomalies refer to unexpected resources consumption, the reconfiguration is not only more efficient but also more effective than a plan adaptation mechanism. The experiments are performed by evaluating the recovery performances depending on constraints on computational costs.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
The notion of alternative (sub)plans is also presented for (off-line) scheduling; for details see [1].
 
2
The software is at disposal at http://​www.​emn.​fr/​z-info/​choco-solver/​, while the work has been presented in [23].
 
3
To simplify the picture, we show in the rover’s status just a subset of the whole status variables.
 
4
The slowdown command of the rover may be the consequence of a reactive supervisor, which operates as a continuous controller as shown in [21].
 
5
The plan can be also generated automatically by exploiting a numeric planner system, properly modified to handle actions with modalities (e.g., the Metric-FF planning system [17] or LPG [16]).
 
6
Alternative CSP conversions are possible; for instance see [2].
 
7
LPG-ADAPT, [15], is the plan adaptation extension of LPG, [16], one of the more awarded systems throughout the planning competitions of the last decade. LPG-ADAPT can be considered the state of the art in the context of plan adaptation.
 
9
The Choco Solver implements the state of the art algorithms for constraint programming and has already been used in space applications, see [6]. Choco can be downloaded at http://​www.​emn.​fr/​z-info/​choco-solver/​.
 
10
Experiments have run on a 2.53 GHz Intel(R) Core(TM)2 Duo processor with 4 GB.
 
Literature
1.
go back to reference Barták, R., Čepek, O., Hejna, M.: Temporal reasoning in nested temporal networks with alternatives. In: Fages, F., Rossi, F., Soliman, S. (eds.) CSCLP 2007. LNCS (LNAI), vol. 5129, pp. 17–31. Springer, Heidelberg (2008) CrossRef Barták, R., Čepek, O., Hejna, M.: Temporal reasoning in nested temporal networks with alternatives. In: Fages, F., Rossi, F., Soliman, S. (eds.) CSCLP 2007. LNCS (LNAI), vol. 5129, pp. 17–31. Springer, Heidelberg (2008) CrossRef
2.
go back to reference Barták, R., Toropila, D.: Solving sequential planning problems via constraint satisfaction. Fundamamenta Informaticae 99(2), 125–145 (2010)MathSciNetMATH Barták, R., Toropila, D.: Solving sequential planning problems via constraint satisfaction. Fundamamenta Informaticae 99(2), 125–145 (2010)MathSciNetMATH
3.
go back to reference Block, S.A., Wehowsky, A.F., Williams, B.C.: Robust execution of contingent, temporally flexible plans. In: Proceedings of National Conference on Artificial Intelligence (AAAI 2006), pp. 802–808 (2006) Block, S.A., Wehowsky, A.F., Williams, B.C.: Robust execution of contingent, temporally flexible plans. In: Proceedings of National Conference on Artificial Intelligence (AAAI 2006), pp. 802–808 (2006)
4.
go back to reference Brenner, M., Nebel, B.: Continual planning and acting in dynamic multiagent environments. J. Auton. Agent. Multiagent Syst. 19(3), 297–331 (2009)CrossRef Brenner, M., Nebel, B.: Continual planning and acting in dynamic multiagent environments. J. Auton. Agent. Multiagent Syst. 19(3), 297–331 (2009)CrossRef
5.
go back to reference Calisi, D., Iocchi, L., Nardi, D., Scalzo, C., Ziparo, V.A.: Context-based design of robotic systems. Robot. Auton. Syst. (RAS) 56(11), 992–1003 (2008)CrossRef Calisi, D., Iocchi, L., Nardi, D., Scalzo, C., Ziparo, V.A.: Context-based design of robotic systems. Robot. Auton. Syst. (RAS) 56(11), 992–1003 (2008)CrossRef
6.
go back to reference Cesta, A., Fratini, S.: The timeline representation framework as a planning and scheduling software development environment. In: Proceedings of P&S Special Interest Group Workshop (PLANSIG-10) (2009) Cesta, A., Fratini, S.: The timeline representation framework as a planning and scheduling software development environment. In: Proceedings of P&S Special Interest Group Workshop (PLANSIG-10) (2009)
7.
go back to reference Chien, S., Johnston, M., Frank, J., Giuliano, M., Kavelaars, A., Lenzen, C., Policella, N.: A generalized timeline representation, services, and interface for automating space mission operations. Technical Report JPL TRS 1992+, Ames Research Center; Jet Propulsion Laboratory, June 2012 Chien, S., Johnston, M., Frank, J., Giuliano, M., Kavelaars, A., Lenzen, C., Policella, N.: A generalized timeline representation, services, and interface for automating space mission operations. Technical Report JPL TRS 1992+, Ames Research Center; Jet Propulsion Laboratory, June 2012
8.
go back to reference Conrad, P.R., Williams, B.C.: Drake: an efficient executive for temporal plans with choice. J. Artif. Intell. Res. 42, 607–659 (2011)MathSciNetMATH Conrad, P.R., Williams, B.C.: Drake: an efficient executive for temporal plans with choice. J. Artif. Intell. Res. 42, 607–659 (2011)MathSciNetMATH
9.
go back to reference desJardins, M., Durfee, E.H., Ortiz Jr., C.L., Wolverton, M.: A survey of research in distributed, continual planning. AI Mag. 20(4), 13–22 (1999) desJardins, M., Durfee, E.H., Ortiz Jr., C.L., Wolverton, M.: A survey of research in distributed, continual planning. AI Mag. 20(4), 13–22 (1999)
10.
go back to reference Fox, M., Gerevini, A., Long, D., Serina, I.: Plan stability: replanning versus plan repair. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 2006), pp. 212–221 (2006) Fox, M., Gerevini, A., Long, D., Serina, I.: Plan stability: replanning versus plan repair. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 2006), pp. 212–221 (2006)
11.
go back to reference Fox, M., Long, D.: Pddl2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61–124 (2003)MATH Fox, M., Long, D.: Pddl2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61–124 (2003)MATH
12.
go back to reference Fratini, S., Pecora, F., Cesta, A.: Unifying planning and scheduling as timelines in a component-based perspective. Arch. Control Sci. 18(2), 231–271 (2008)MathSciNetMATH Fratini, S., Pecora, F., Cesta, A.: Unifying planning and scheduling as timelines in a component-based perspective. Arch. Control Sci. 18(2), 231–271 (2008)MathSciNetMATH
13.
go back to reference Garrido, A., Guzman, C., Onaindia, E.: Anytime plan-adaptation for continuous planning. In: Proceedings of P&S Special Interest Group Workshop (PLANSIG 2010) (2010) Garrido, A., Guzman, C., Onaindia, E.: Anytime plan-adaptation for continuous planning. In: Proceedings of P&S Special Interest Group Workshop (PLANSIG 2010) (2010)
14.
go back to reference Gerevini, A., Serina, I.: Efficient plan adaptation through replanning windows and heuristic goals. Fundamenta Informaticae 102(3–4), 287–323 (2010)MATH Gerevini, A., Serina, I.: Efficient plan adaptation through replanning windows and heuristic goals. Fundamenta Informaticae 102(3–4), 287–323 (2010)MATH
15.
go back to reference Gerevini, A., Saetti, A., Serina, I.: Case-based planning for problems with real-valued fluents: kernel functions for effective plan retrieval. In: Proceedings of European Conference on AI (ECAI 2012), pp. 348–353 (2012) Gerevini, A., Saetti, A., Serina, I.: Case-based planning for problems with real-valued fluents: kernel functions for effective plan retrieval. In: Proceedings of European Conference on AI (ECAI 2012), pp. 348–353 (2012)
16.
go back to reference Gerevini, A., Saetti, I., Serina, A.: An approach to efficient planning with numerical fluents and multi-criteria plan quality. Artif. Intell. 172(8–9), 899–944 (2008)MathSciNetCrossRefMATH Gerevini, A., Saetti, I., Serina, A.: An approach to efficient planning with numerical fluents and multi-criteria plan quality. Artif. Intell. 172(8–9), 899–944 (2008)MathSciNetCrossRefMATH
17.
go back to reference Hoffmann, J.: The metric-FF planning system: translating “ignoring delete lists” to numeric state variables. J. Artif. Intell. Res. 20, 291–341 (2003)MATH Hoffmann, J.: The metric-FF planning system: translating “ignoring delete lists” to numeric state variables. J. Artif. Intell. Res. 20, 291–341 (2003)MATH
18.
go back to reference van der Krogt, R., de Weerdt, M.: Plan repair as an extension of planning. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 2005), pp. 161–170 (2005) van der Krogt, R., de Weerdt, M.: Plan repair as an extension of planning. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 2005), pp. 161–170 (2005)
19.
go back to reference Lopez, A., Bacchus, F.: Generalizing graphplan by formulating planning as a CSP. In: Proceedings of International Conference on Artificial Intelligence (IJCAI 2003), pp. 954–960 (2003) Lopez, A., Bacchus, F.: Generalizing graphplan by formulating planning as a CSP. In: Proceedings of International Conference on Artificial Intelligence (IJCAI 2003), pp. 954–960 (2003)
20.
21.
go back to reference Micalizio, R., Scala, E., Torasso, P.: Intelligent supervision for robust plan execution. In: Pirrone, R., Sorbello, F. (eds.) AI*IA 2011. LNCS, vol. 6934, pp. 151–163. Springer, Heidelberg (2011) CrossRef Micalizio, R., Scala, E., Torasso, P.: Intelligent supervision for robust plan execution. In: Pirrone, R., Sorbello, F. (eds.) AI*IA 2011. LNCS, vol. 6934, pp. 151–163. Springer, Heidelberg (2011) CrossRef
22.
go back to reference Muscettola, N.: Hsts: integrating planning and scheduling. Technical Report CMU-RI-TR-93-05, Robotics Institute, Pittsburgh, PA, March 1993 Muscettola, N.: Hsts: integrating planning and scheduling. Technical Report CMU-RI-TR-93-05, Robotics Institute, Pittsburgh, PA, March 1993
23.
go back to reference Narendra, J., Rochart, G., Lorca, X.: Choco: an open source java constraint programming library. In: CPAIOR 2008 Workshop on Open-Source Software for Integer and Constraint Programming (OSSICP 2008), pp. 1–10 (2008) Narendra, J., Rochart, G., Lorca, X.: Choco: an open source java constraint programming library. In: CPAIOR 2008 Workshop on Open-Source Software for Integer and Constraint Programming (OSSICP 2008), pp. 1–10 (2008)
25.
go back to reference Scala, E., Micalizio, R., Torasso, P.: Robust plan execution via reconfiguration and replanning. AI Communications, to appear (2014) Scala, E., Micalizio, R., Torasso, P.: Robust plan execution via reconfiguration and replanning. AI Communications, to appear (2014)
26.
go back to reference Scala, E.: Numeric kernel for reasoning about plans involving numeric fluents. In: Baldoni, M., Baroglio, C., Boella, G., Micalizio, R. (eds.) AI*IA 2013. LNCS, vol. 8249, pp. 263–275. Springer, Heidelberg (2013) CrossRef Scala, E.: Numeric kernel for reasoning about plans involving numeric fluents. In: Baldoni, M., Baroglio, C., Boella, G., Micalizio, R. (eds.) AI*IA 2013. LNCS, vol. 8249, pp. 263–275. Springer, Heidelberg (2013) CrossRef
27.
go back to reference Scala, E.: Numerical kernels for monitoring and repairing plans involving continuous and consumable resources. In: Proceedings of International Conference on Agents and Artificial Intelligence (ICAART 2013), pp. 531–534 (2013) Scala, E.: Numerical kernels for monitoring and repairing plans involving continuous and consumable resources. In: Proceedings of International Conference on Agents and Artificial Intelligence (ICAART 2013), pp. 531–534 (2013)
28.
go back to reference Scala, E.: Reconfiguration and replanning for robust execution of plans involving continuous and consumable resources. Ph.D. thesis, Department of Computer Science - University of Turin (2013) Scala, E.: Reconfiguration and replanning for robust execution of plans involving continuous and consumable resources. Ph.D. thesis, Department of Computer Science - University of Turin (2013)
Metadata
Title
ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution
Authors
Enrico Scala
Roberto Micalizio
Pietro Torasso
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-25210-0_16

Premium Partner