A Formal Account of Planning with Flexible Timelines
作者： Marta Cialdea Mayer , Andrea Orlandini , Alessandro Umbrico
DOI: 10.1109/TIME.2014.27
关键词:
摘要: Planning for real world problems with explicit temporal constraints is a challenging problem. Among several approaches, the use of flexible timelines in and Scheduling (PaS) has demonstrated to be successful number concrete applications, such as, instance, autonomous space systems. A timeline describes an envelope possible solutions which can exploited by executive system robust on-line execution. remarkable research effort been dedicated design, build deploy software environments, like EUROPA, ASPEN, APSI-TRF, synthesis timeline-based PaS applications. Several attempts have also made characterize concept timelines. Nevertheless, formal characterization plans still missing. This paper presents account aiming at providing general semantics related planning concepts as domains, goals, problems, plans. Some basic properties defined are stated proved. simple running example inspired domain illustrate proposed notions. Finally, tool, called Extensible Library (EPSL), briefly presented, able generate that compliant given semantics.
sci-hub.se 参考文章(21)
Paul Morris, Dynamic Controllability and Dispatchability Relationships integration of ai and or techniques in constraint programming. pp. 464- 479 ,(2014) , 10.1007/978-3-319-07046-9_33
Angelo Oddi, Simone Fratini, Gabriella Cortellessa, Nicola Policella, Amedeo Cesta, An innovative product for space mission planning an a posteriori evaluation international conference on automated planning and scheduling. pp. 57- 64 ,(2007)
Amedeo Cesta, Riccardo De Benedictis, Andrea Orlandini, Riccardo Rasconi, Luigi Carotenuto, Antonio Ceriello, Integrating planning and scheduling in the ISS fluid science laboratory domain international conference industrial engineering other applications applied intelligent systems. pp. 191- 201 ,(2013) , 10.1007/978-3-642-38577-3_20
Jeremy Frank, Ari Jónsson, Constraint-Based Attribute and Interval Planning Constraints - An International Journal. ,vol. 8, pp. 339- 364 ,(2003) , 10.1023/A:1025842019552
Angelo Oddi, Amedeo Cesta, DDL.1: a formal description of a constraint representation language for physical domains New directions in AI planning. pp. 341- 352 ,(1996)
Andrea Orlandini, Alberto Finzi, Amedeo Cesta, Simone Fratini, TGA-based controllers for flexible plan execution KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence. pp. 233- 245 ,(2011) , 10.1007/978-3-642-24455-1_22
Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, Angelo Oddi, MrSPOCK—STEPS IN DEVELOPING AN END‐TO‐END SPACE APPLICATION computational intelligence. ,vol. 27, pp. 83- 102 ,(2011) , 10.1111/J.1467-8640.2010.00373.X
THIERRY VIDAL, Handling contingency in temporal constraint networks: from consistency to controllabilities Journal of Experimental and Theoretical Artificial Intelligence. ,vol. 11, pp. 23- 45 ,(1999) , 10.1080/095281399146607
Luis Castillo Vidal, Gabriella Cortellessa, Neil Yorke-Smith, SCHEDULING AND PLANNING APPLICATIONS: SELECTED PAPERS FROM THE SPARK WORKSHOP SERIES computational intelligence. ,vol. 27, pp. 1- 3 ,(2011) , 10.1111/J.1467-8640.2010.00368.X
Nicola Muscettola, Paul H. Morris, Ben Smith, Ari K. Jónsson, Kanna Rajan, Planning in interplanetary space: theory and practice international conference on artificial intelligence planning systems. pp. 177- 186 ,(2000)