ВыходВопрос 4. Классификация методов, используемых при решении SS- и PR-проблем. Планирование с помощью логического вывода. Привести пример задачи.
| Добавил: | DMT |
| Дата создания: | 30 декабря 2007, 19:25 |
| Дата обновления: | 30 декабря 2007, 19:29 |
| Просмотров: | 3897 последний вчера, 19:44 |
| Комментариев: | 2 |
| Вопрос 4. Классификация методов, используемых при решении SS- и PR-проблем. Планирование с помощью логического вывода. Привести пример задачи. | |
Комментарии для "Вопрос 4. Классификация методов, используемых при решении SS- и PR-проблем. Планирование с помощью логического вывода. Привести пример задачи."
|
Пользователь: doriangray_rus Сообщений: 13 Статус: Незримый Зарегистрирован: 6 января 2008, 18:12 Был:21 января 2008, 0:29  
| Дата: 9 января 2008, 0:31 Сообщение № 1 |
| Планирование с помощью логического вывода. Такое планирование предполагает: описание состояний в виде правильно построенных формул (ППФ) некоторого логического исчисления, описание операторов в виде либо ППФ, либо правил перевода одних ППФ в другие. Представление операторов в виде ППФ позволяет создавать дедуктивные методы планирования, представление операторов в виде правил перевода - методы планирования с элементами дедуктивного вывода. |
|
Пользователь: lilo Сообщений: 38 Статус: Незримый Зарегистрирован: 8 января 2008, 12:39 Был:9 апреля 2008, 19:55 
| Дата: 25 января 2008, 14:29 Сообщение № 2 |
| у кого есть пример??? |