Skip to main content

2017 | OriginalPaper | Buchkapitel

PLATINUm: A New Framework for Planning and Acting

verfasst von : Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini

Erschienen in: AI*IA 2017 Advances in Artificial Intelligence

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper presents a novel planning framework, called PLATINUm that advances the state of the art with the ability of dealing with temporal uncertainty both at planning and plan execution level. PLATINUm is a comprehensive planning system endowed with (i) a new algorithm for temporal planning with uncertainty, (ii) heuristic search capabilities grounded on hierarchical modelling and (iii) a robust plan execution module to address temporal uncertainty while executing plans. The paper surveys the capabilities of this new planning system that has been recently deployed in a manufacturing scenario to support Human-Robot Collaboration.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Fußnoten
1
CNR authors are partially supported by EU project FourByThree (GA No. 637095 – http://​www.​fourbythree.​eu).
 
Literatur
1.
Zurück zum Zitat Barreiro, J., Boyce, M., Do, M., Frank, J., Iatauro, M., Kichkaylo, T., Morris, P., Ong, J., Remolina, E., Smith, T., Smith, D.: EUROPA: a platform for AI planning, scheduling, constraint programming, and optimization. In: The 4th International Competition on Knowledge Engineering for Planning and Scheduling, ICKEPS 2012 (2012) Barreiro, J., Boyce, M., Do, M., Frank, J., Iatauro, M., Kichkaylo, T., Morris, P., Ong, J., Remolina, E., Smith, T., Smith, D.: EUROPA: a platform for AI planning, scheduling, constraint programming, and optimization. In: The 4th International Competition on Knowledge Engineering for Planning and Scheduling, ICKEPS 2012 (2012)
2.
Zurück zum Zitat Bit-Monnot, A.: Temporal and hierarchical models for planning and acting in robotics. Ph.D. thesis, Doctorat de l’Université Federale Toulouse Midi-Pyrenees (2016) Bit-Monnot, A.: Temporal and hierarchical models for planning and acting in robotics. Ph.D. thesis, Doctorat de l’Université Federale Toulouse Midi-Pyrenees (2016)
3.
Zurück zum Zitat Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.: Validation and verification issues in a timeline-based planning system. Knowl. Eng. Rev. 25(3), 299–318 (2010)CrossRefMATH Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.: Validation and verification issues in a timeline-based planning system. Knowl. Eng. Rev. 25(3), 299–318 (2010)CrossRefMATH
4.
Zurück zum Zitat Cesta, A., Orlandini, A., Bernardi, G., Umbrico, A.: Towards a planning-based framework for symbiotic human-robot collaboration. In: 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE (2016) Cesta, A., Orlandini, A., Bernardi, G., Umbrico, A.: Towards a planning-based framework for symbiotic human-robot collaboration. In: 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE (2016)
5.
Zurück zum Zitat Cialdea Mayer, M., Orlandini, A.: An executable semantics of flexible plans in terms of timed game automata. In: The 22nd International Symposium on Temporal Representation and Reasoning (TIME). IEEE (2015) Cialdea Mayer, M., Orlandini, A.: An executable semantics of flexible plans in terms of timed game automata. In: The 22nd International Symposium on Temporal Representation and Reasoning (TIME). IEEE (2015)
6.
Zurück zum Zitat Cialdea Mayer, M., Orlandini, A., Umbrico, A.: Planning and execution with flexible timelines: a formal account. Acta Informatica 53(6–8), 649–680 (2016)CrossRefMATHMathSciNet Cialdea Mayer, M., Orlandini, A., Umbrico, A.: Planning and execution with flexible timelines: a formal account. Acta Informatica 53(6–8), 649–680 (2016)CrossRefMATHMathSciNet
7.
Zurück zum Zitat Freitag, M., Hildebrandt, T.: Automatic design of scheduling rules for complex manufacturing systems by multi-objective simulation-based optimization. CIRP Ann. Manuf. Technol. 65(1), 433–436 (2016)CrossRef Freitag, M., Hildebrandt, T.: Automatic design of scheduling rules for complex manufacturing systems by multi-objective simulation-based optimization. CIRP Ann. Manuf. Technol. 65(1), 433–436 (2016)CrossRef
8.
Zurück zum Zitat Ghallab, M., Laruelle, H.: Representation and control in IxTeT, a temporal planner. In: 2nd International Conference on Artificial Intelligence Planning and Scheduling (AIPS), pp. 61–67 (1994) Ghallab, M., Laruelle, H.: Representation and control in IxTeT, a temporal planner. In: 2nd International Conference on Artificial Intelligence Planning and Scheduling (AIPS), pp. 61–67 (1994)
10.
Zurück zum Zitat Lemai, S., Ingrand, F.: Interleaving temporal planning and execution in robotics domains. In: AAAI 2004, pp. 617–622 (2004) Lemai, S., Ingrand, F.: Interleaving temporal planning and execution in robotics domains. In: AAAI 2004, pp. 617–622 (2004)
11.
Zurück zum Zitat Mansouri, M., Pecora, F.: More knowledge on the table: planning with space, time and resources for robots. In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, 31 May–7 June 2014, pp. 647–654. IEEE (2014) Mansouri, M., Pecora, F.: More knowledge on the table: planning with space, time and resources for robots. In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, 31 May–7 June 2014, pp. 647–654. IEEE (2014)
12.
Zurück zum Zitat Maurtua, I., Pedrocchi, N., Orlandini, A., Fernández, J.D.G., Vogel, C., Geenen, A., Althoefer, K., Shafti, A.: FourByThree: imagine humans and robots working hand in hand. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1–8, September 2016 Maurtua, I., Pedrocchi, N., Orlandini, A., Fernández, J.D.G., Vogel, C., Geenen, A., Althoefer, K., Shafti, A.: FourByThree: imagine humans and robots working hand in hand. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1–8, September 2016
13.
Zurück zum Zitat Morris, P.H., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: International Joint Conference on Artificial Intelligence (IJCAI), pp. 494–502 (2001) Morris, P.H., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: International Joint Conference on Artificial Intelligence (IJCAI), pp. 494–502 (2001)
14.
Zurück zum Zitat Orlandini, A., Bernardi, G., Cesta, A., Finzi, A.: Planning meets verification and validation in a knowledge engineering environment. Intell. Artif. 8(1), 87–100 (2014) Orlandini, A., Bernardi, G., Cesta, A., Finzi, A.: Planning meets verification and validation in a knowledge engineering environment. Intell. Artif. 8(1), 87–100 (2014)
15.
Zurück zum Zitat Pellegrinelli, S., Moro, F.L., Pedrocchi, N., Tosatti, L.M., Tolio, T.: A probabilistic approach to workspace sharing for human-robot cooperation in assembly tasks. CIRP Ann. Manuf. Technol. 65(1), 57–60 (2016)CrossRef Pellegrinelli, S., Moro, F.L., Pedrocchi, N., Tosatti, L.M., Tolio, T.: A probabilistic approach to workspace sharing for human-robot cooperation in assembly tasks. CIRP Ann. Manuf. Technol. 65(1), 57–60 (2016)CrossRef
16.
Zurück zum Zitat Pellegrinelli, S., Orlandini, A., Pedrocchi, N., Umbrico, A., Tolio, T.: Motion planning and scheduling for human and industrial-robot collaboration. CIRP Ann. Manuf. Technol. 66(1), 1–4 (2017)CrossRef Pellegrinelli, S., Orlandini, A., Pedrocchi, N., Umbrico, A., Tolio, T.: Motion planning and scheduling for human and industrial-robot collaboration. CIRP Ann. Manuf. Technol. 66(1), 1–4 (2017)CrossRef
17.
Zurück zum Zitat Py, F., Rajan, K., McGann, C.: A systematic agent framework for situated autonomous systems. In: AAMAS, pp. 583–590 (2010) Py, F., Rajan, K., McGann, C.: A systematic agent framework for situated autonomous systems. In: AAMAS, pp. 583–590 (2010)
18.
Zurück zum Zitat Stock, S., Mansouri, M., Pecora, F., Hertzberg, J.: Online task merging with a hierarchical hybrid task planner for mobile service robots. In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 6459–6464, September 2015 Stock, S., Mansouri, M., Pecora, F., Hertzberg, J.: Online task merging with a hierarchical hybrid task planner for mobile service robots. In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 6459–6464, September 2015
21.
Zurück zum Zitat Vidal, T., Fargier, H.: Handling contingency in temporal constraint networks: from consistency to controllabilities. JETAI 11(1), 23–45 (1999)MATH Vidal, T., Fargier, H.: Handling contingency in temporal constraint networks: from consistency to controllabilities. JETAI 11(1), 23–45 (1999)MATH
Metadaten
Titel
PLATINUm: A New Framework for Planning and Acting
verfasst von
Alessandro Umbrico
Amedeo Cesta
Marta Cialdea Mayer
Andrea Orlandini
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-70169-1_37

Premium Partner