Mohlo by se vám také líbit

Více informací o knize Temporal Metric Planning in Continuous Time

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 208 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Information technology: general issues

• Plný název: Temporal Metric Planning in Continuous Time
• Podnázev: Processes and Continuous Changes in a SAT-based Planning
• Autor: Ji-Ae Shin
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 168
• EAN: 9783639164541
• ISBN: 3639164547
• ID: 06824850
• Nakladatelství: VDM Verlag
• Hmotnost: 254 g
• Rozměry: 229 × 152 × 10 mm
• Datum vydání: 07. June 2009

Oblíbené z jiného soudku

---

---

---