Исходное состояние: обезьяна в точке a, стул в точке b, бананы в точке c, бананы - z, (S-перемещение)
S(a,b,c,[]).
Правила:
1. Обезьяна, находясь в той же точке x0 что и стул, может перенести его в точку x1
S(x1,x1,z,[carry(x0,x1);S]):-S(x0,x0,z,S).
2. Обезьяна, находясь в любой точке х0 может свободно перемещаться по комнате в произвольную точку х1
S(x1,y,z,[walk(x0,x1);S]):-S(x0,y,z,S).
Условие достижения успеха при котором обезьяна достает бананы:
Q([climb;S]):-S(x,x,x,S).
Цель: необходимо найти значение переменной S, удовлетворяющее предикату Q(S) - выполнение предиката реализует выполнение задачи
goal Q(S).
Т.е. решением будет выражение вида [climb, carry(b,c), walk(a,b)] - идти из точки А в точку Б; взять стул и отнести из точки Б в точку С; влезть на стул и сорвать бананы
Скрытый подводный камень: В дереве поиска этой задачи имеется бесконечная ветвь, попав в которую компилятор не сможет выйти, и несмотря на логическую корректность программы, ответа мы не получим. В данном примере компилятор пытается построить такое решение, при котором обезьяне пришлось бы носить стул по комнате бесконечно долго. Для преодоления этого нужно зафиксировать критерий, которому должны удовлетворять промежуточные решения задачи. Они формулируются в виде условий и правил с тем, чтобы во время их выполнения гарантировать своевременный выход из бесконечной ветви дерева поиска
Программная реализация:
| Код |
|
Помогите пожалуйста корректно описать домены и предикаты для задачки
