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

Формулы, определяющие условия выполнения действий: -1 на (х, у) v -. свободен (х) v переместить (х, Стол), (4.151) -1 на (х, Стол) v -• свободен (х) v -• свободен (z) v v переместить (х, z)- (4.152) Формулы, определяющие условия переходов состояний среды: -1 на (х, у) v -, свободен (х) v -. переместить (х, Стол) v на (х, Стол), (4.153) -л на (х, у) v -1 свободен (х) v -, переместить (х, Стол) v свободен (у), (4.154) -1 на (х, у) v -1 свободен (х) v -, свободен (z) v v -. переместить (х, z) v на (х, z), (4.155) -1 на (дс, у) v -. свободен (х) v -. свободен (г) v v -, переместить (х, z) v свободен (у). (4.156) Целевая формула. Целевая формула в соответствии с рис. 4.1 является конъюнкцией литералов и при прямом выводе, как и в случае использования обобщенного правила модус поненс, будет выводиться для каждого литерала, входящего в ее состав, раздельно