Introduction to Automated Planning / Введение в автоматизированное планирование: Planning without observability by evaluation of QBF
| Английский оригинал | Перевод на русский | |
|---|---|---|
Сожалеем, но текст оригинала доступен только зарегистрированным пользователям. |
в предыдущих и последующих состояниях, когда оператор принимается. . Пусть A = {a1, . . . , ak} будет Mark_Krass 05.01.14 в 23:18 |
+1 |
|
начальным состоянием. Формулы, описывающие последующие и предыдущие состояния оператора oi ∈ O Mark_Krass 05.01.14 в 23:18 |
+1 | |
|
Два оператора могут применяться параллельно если не противоречат друг другу, так что необходимо Mark_Krass 05.01.14 в 23:19 |
+1 | |
|
Вместе все приведенные выше формулы обозначаются как Mark_Krass 05.01.14 в 23:20 |
+1 | |
|
При изменении утверждения в некоторой точке t, также утверждение о для оператора о ∈ О и Mark_Krass 05.01.14 в 23:20 |
+1 | |
|
Определение 4.32 (Отношение включения для пространств убеждений). Разложенное пространство убеждений G включено в Alex_ander 07.01.14 в 20:30 |
+1 |