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

99 4. Вывод в логике предикатов -, на (А. В): (4.173) -1 на (А, Стол) v -. свободен (A) v -i свободен (B)v v -i переместить (А, В) v на (А. В): (4.174) -1 на (А, Стол) v -. свободен (A) v -, свободен (/?) v v -1 переместить (А, В); (4.175) -1 на (А, Стол) v -• свободен (A) v -. свободен (/?) v у -¦ переместить (А. В): . (4.176) -1 на (А, Стол) v -¦ свободен (A) v -¦ свободен (B)v v переместить (А, В); ' (4.177) -I на (А, Стол) v -i свободен (A) v -i свободен (В); (4.178) -1 на (А, Стол) v -¦ свободен (A) v -. свободен (В); (4.179) свободен (А): (4.180) на (А, Стол) v -л свободен (В): (4.181) -, на (А. Стол) v - свободен (В), (4.182) -1 на (А, у) v -, свободен (A) v -¦ переместить (А, Стол) v у на (А. Стол): (4.183) -1 на (А, у) v -1 свободен (A) v -i переместить (А, Стол) v v -, свободен (В); ' (4.184) -1 на (А, у) v -, свободен (A) v -, переместить (А, Стол) v