Вопрос 4. Классификация методов, используемых при решении SS- и PR-проблем. Планирование с помощью логического вывода. Привести пример задачи.


Добавил:DMT
Дата создания:30 декабря 2007, 19:25
Дата обновления:30 декабря 2007, 19:29
Просмотров:3159 последний позавчера, 15:17
Комментариев: 2
Вопрос 4. Классификация методов, используемых при решении SS- и PR-проблем. Планирование с помощью логического вывода. Привести пример задачи.
up

Комментарии для "Вопрос 4. Классификация методов, используемых при решении SS- и PR-проблем. Планирование с помощью логического вывода. Привести пример задачи."


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