Shin, J: Temporal Metric Planning in Continuous Time
-
- Englisch ausgewählt
59,99 €
UVP
68,00 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Verlag
VDMSeitenzahl
168
Maße (L)
22 cm
Sprache
Englisch
ISBN
978-3-639-16454-1
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice