Temporal Metric Planning in Continuous Time

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

Processes and Continuous Changes in a SAT-based Planning

Autor: Ji-Ae Shin

Limbă:

Legare: Carte broșată

Editura: VDM Verlag

Disponibilitate: La editor doar la comandă

Expediem în 17-27 zile

350.17 lei

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

Informații despre carte

Autor

Ji-Ae Shin

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2009

Pagini

168

EAN

9783639164541

ISBN

3639164547

Enbook ID

06824850

Editura

VDM Verlag

Greutate

254

Dimensiuni

152 x 229 x 10

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Temporal Metric Planning in Continuous Time

Processes and Continuous Changes in a SAT-based Planning

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și