Введение в экспертные системы

         

Список добавлений



Список добавлений

on (В, L), clear (L), clear (столик)

Здесь выражение on (В, L) означает, что блок В устанавливается на объект L, причем в качестве L может выступать или поверхность столика, или другой блок; непосредственно на один блок можно поставить только еще один блок, но на поверхность столика можно ставить сколько угодно блоков; выражение clear (L) означает, что на объекте L ничего не стоит.

I) Выразите сцену, представленную на рис. 3.5, в виде формул модели мира.

II) Пусть перед роботом поставлена цель перестроить башню, показанную на рис. 3.5, установив блоки в следующем порядке: синий— на красном, красный — на зеленом, а зеленый — на поверхности столика. Таким образом, перед роботом стоит цель преобразовать модель мира и привести ее к виду

on(зеленый, стол), on(красный, зеленый), on(синий, красный). Представьте план достижения этой цели.

III) Покажите, как будет изменяться база данных при выполнении плана в соответствии с таблицей операторов.

IV) Почему после каждой операции move нужно добавлять формулу clear (столик)?

V) Можно ли, используя представленный элемент move в таблице операторов, выразить "отрицательную" цель, например "зеленый блок не должен стоять









Содержание раздела