Temporal Metric Planning in Continuous Time

Name: Temporal Metric Planning in Continuous Time
Brand: VDM Verlag
SKU: 9783639164541
Price: 1618 CZK
Availability: InStock

Processes and Continuous Changes in a SAT-based Planning

Autor: Ji-Ae Shin

Jazyk:

Vazba: Brožovaná

Vydavatel: VDM Verlag

Dostupnost: U nakladatele na objednávku

Odesíláme za 17-27 dnů

1 618 Kč

The TM-LPSAT planner can construct plans in domains §containing atomic actions and durative actions;...

Informace o knize

Autor

Ji-Ae Shin

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2009

Stránek

168

EAN

9783639164541

ISBN

3639164547

Enbook ID

06824850

Vydavatel

VDM Verlag

Hmotnost

254

Rozměry

152 x 229 x 10

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Temporal Metric Planning in Continuous Time

Processes and Continuous Changes in a SAT-based Planning

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také