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

Шаг 50. В соответствии с формулой (4.101) и правилом исключения конъюнкта получаем перейти (2, 2), (4.102) 79 4. Вывод в логике предикатов находится {Агент, 2, 2), (4.103) ориентация (2, 3). (4.104) Шаг 51. В соответствии с формулами (4.103), (4.12) и правилом модус поненс получаем -1 находится (Зловоние, 2, 2). (4.105) Шаг 52. В соответствии с формулами (4.103), (4.13) и правилом модус поненс получаем -I находится (Сквозняк, 2, 2). (4.106) Шаг 53. В соответствии с формулой (4.14) и правилом исключения квантора получаем -¦ находится (Зловоние, 2, 2) z> -. находится (Чудовище, 2, 2) л л -, находится (Чудовище, 2, 1) л -i находится (Чудовище, 2, 3) л