Искусственный интеллект

Формулы, определяющие условия выполнения действий. Действия, которые можно совершать в среде кубиков — это перемещать один кубик, на котором ничего не лежит, на стол или на другой кубик, если он свободен от кубиков сверху. Для обозначения этих действий введем атомы переместить (х, у) и переместить (х, Стол). Тогда для нашего примера достаточно двух формул, определяющих условия выполнения действий: на (х, у) л свободен (х) => переместить {х, Стол), (4.136) на (х, Стол) л свободен (х) л свободен (z) => переместить (х, z)- (4.137) Формулы, определяющие условия перехода состояний среды: на (х, у) л свободен (х) л переместить (х, Стол) => на (х, Стол), (4.138) 90 4.2. Прямой и обратный вывод на (х, у) л свободен (х) л переместить (х, Стол) => свободен (у), (4.139)