Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a Sat-based Planning - Ji-ae Shin - Kirjat - VDM Verlag - 9783639164541 - sunnuntai 7. kesäkuuta 2009
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a Sat-based Planning

Ji-ae Shin

Hinta
€ 77,99

Tilattu etävarastosta

Arvioitu toimitus ke 24. heinä - ma 5. elo
Lisää iMusic-toivelistallesi

Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a Sat-based Planning

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä sunnuntai 7. kesäkuuta 2009
ISBN13 9783639164541
Tuottaja VDM Verlag
Sivujen määrä 168
Mitta 254 g
Kieli English