Conference
A Formal Account of Planning with Flexible Timelines
| العنوان: | A Formal Account of Planning with Flexible Timelines |
|---|---|
| المؤلفون: | CIALDEA, Marta, ORLANDINI, Andrea, UMBRICO, ALESSANDRO |
| المساهمون: | Amedeo Cesta, Carlo Combi, Francois Laroussinie, Cialdea, Marta, Orlandini, Andrea, Umbrico, Alessandro |
| بيانات النشر: | IEEE |
| سنة النشر: | 2014 |
| مصطلحات موضوعية: | temporal planning |
| الوصف: | Planning for real world problems with explicit temporal constraints is a challenging problem. Among several approaches, the use of flexible timelines in Planning and Scheduling (P&S) has demonstrated to be successful in a number of concrete applications, such as, for instance, autonomous space systems. A flexible timeline describes an envelope of possible solutions which can be exploited by an executive system for robust on-line execution. A remarkable research effort has been dedicated to design, build and deploy software environments, like EUROPA, ASPEN, and APSI-TRF, for the synthesis of timeline-based P&S applications. Several attempts have also been made to characterize the concept of timelines. Nevertheless, a formal characterization of flexible timelines and plans is still missing. This paper presents a formal account of flexible timelines aiming at providing a general semantics for related planning concepts such as domains, goals, problems, constraints and flexible plans. Some basic properties of the defined concepts are also stated and proved. A simple running example inspired by a real world planning domain is exploited to illustrate the proposed formal notions. Finally, a planning tool, called Extensible Planning and Scheduling Library (EPSL), is briefly presented, which is able to generate flexible plans that are compliant with the given semantics. |
| نوع الوثيقة: | conference object |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/isbn/978-1-4799-4228-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000349455500004; ispartofbook:21st International Symposium onTemporal Representation and Reasoning (TIME 2014); 21st International Symposium onTemporal Representation and Reasoning (TIME 2014); firstpage:37; lastpage:46; numberofpages:10; alleditors:Amedeo Cesta, Carlo Combi, Francois Laroussinie; http://hdl.handle.net/11590/184425; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84909590208; http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6940372&pageNumber%3D2%26queryText%3DTemporal+Representation+And+Reasoning+.LB.TIME.RB.,+2014+21st+International+Symposium+On; 2-s2.0-84909590208 |
| DOI: | 10.1109/TIME.2014.27 |
| الاتاحة: | http://hdl.handle.net/11590/184425 https://doi.org/10.1109/TIME.2014.27 http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6940372&pageNumber%3D2%26queryText%3DTemporal+Representation+And+Reasoning+.LB.TIME.RB.,+2014+21st+International+Symposium+On |
| رقم الانضمام: | edsbas.D197C77F |
| قاعدة البيانات: | BASE |
| DOI: | 10.1109/TIME.2014.27 |
|---|