![Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a Sat-based Planning - Ji-ae Shin - Boeken - VDM Verlag - 9783639164541 - 7 juni 2009](https://imusic.b-cdn.net/images/item/original/541/9783639164541.jpg?ji-ae-shin-2009-temporal-metric-planning-in-continuous-time-processes-and-continuous-changes-in-a-sat-based-planning-paperback-book&class=scaled&v=1465503816)
Vertel uw vrienden over dit artikel:
Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a Sat-based Planning
Ji-ae Shin
Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a Sat-based Planning
Ji-ae Shin
The TM-LPSAT planner can construct plans in domains containing atomic actions and durative actions; events and processes; discrete, real-valued, and interval-valued fluents; reusable resources, both numeric and interval-valued; and continuous linear change to quantities. It works in three tages. In the first stage, a representation of the domain and problem in an extended version of PDDL+ is compiled into a system of Boolean combinations of propositional atoms and linear constraints over numeric variables. In the second stage, a SAT-based arithmetic constraint solver, such as LPSAT or MathSAT, is used to find a solution to the system of constraints. In the third stage, a correct plan is extracted from this solution. We discuss the structure of the planner and show how planning with time and metric quantities is compiled into a system of constraints.
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 7 juni 2009 |
ISBN13 | 9783639164541 |
Uitgevers | VDM Verlag |
Pagina's | 168 |
Afmetingen | 254 g |
Taal en grammatica | Engels |
Bekijk alles van Ji-ae Shin ( bijv. Paperback Book )