Kontakt
Jak kupować
Dostawa
Doradca ds. zakupów
Temporal Metric Planning in Continuous Time
Processes and Continuous Changes in a SAT-based Planning
Angielski
167 b
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
79.52
zł
/
Miękka
120.89
zł
/
Miękka
131.07
zł
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.
Informacje o książce
Angielski
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Miękka
174.39
zł
/
Miękka
68.41
zł
/
Miękka
112.76
zł
/
Miękka
138.79
zł
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?