Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
Temporal Metric Planning in Continuous Time
Processes and Continuous Changes in a SAT-based Planning
Английски език
175 b
До 30 дни за връщане на стоки
Клиентите са закупили също
/
С меки корици
56.40
€
110.31 лв
/
С меки корици
11.81
€
23.10 лв
/
С меки корици
20.43
€
39.96 лв
С твърди корици
35.91
€
70.24 лв
/
С меки корици
30.65
€
59.94 лв
/
С меки корици
31.89
€
62.36 лв
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.
Информация за книгата
Английски език
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателяМоже би ще Ви заинтересува
/
С меки корици
42.36
€
82.85 лв
/
С меки корици
15.68
€
30.67 лв
/
С меки корици
25.90
€
50.66 лв
/
С меки корици
31.89
€
62.36 лв
/
С меки корици
18.37
€
35.92 лв
/
С меки корици
52.42
€
102.53 лв
/
С меки корици
14.08
€
27.54 лв
Здравейте! Аз съм Libroamiko, вашият книжен съветник.
Как мога да ви помогна?