Temporal Metric Planning in Continuous Time

Autor:
Verfügbarkeit:
Auf Lager.
Artikelnummer:
1032049
  • Produktbeschreibung

    Temporal Metric Planning in Continuous Time

    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.
  • Zusatzinformation

    Autor
    Bindung
    Taschenbuch
    Verlag
    VDM Verlag Dr. Müller
    ISBN / EAN
    9783639164541
  • Sie könnten auch an folgenden Produkten interessiert sein

    Art.Nr. 1028277

    Reiß:Praxisbuch IT-Dokumentation

    46,30
    Art.Nr. 1479181

    Ramirez Molina:Diseño de una arquitectu

    71,00
    Art.Nr. 1459513

    Seibert,J.:Anwend.v.Semantic-Web Techn.

    50,40
  • 0 Kundenmeinungen

    Schreiben Sie selbst eine Rezension

    Ihre Meinung interessiert uns – und hilft anderen Kunden bei der Auswahl.

    Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!