Bookcover of Temporal Metric Planning in Continuous Time
Booktitle:

Temporal Metric Planning in Continuous Time

Processes and Continuous Changes in a SAT-based Planning

VDM Verlag Dr. Müller (2009-06-07 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-639-16454-1

ISBN-10:
3639164547
EAN:
9783639164541
Book language:
English
Blurb/Shorttext:
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.
Publishing house:
VDM Verlag Dr. Müller
Website:
http://www.vdm-verlag.de
By (author) :
Ji-Ae Shin
Number of pages:
168
Published on:
2009-06-07
Stock:
Available
Category:
Informatics, IT
Price:
68.00 €
Keywords:
SAT-based planning, LPSAT, Continuous time, Metric quantities, Processes

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING