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

Шаг 39. В соответствии с формулами (4.85), (4.86) и правилом модус поненс получаем находится {Яма, 2, 2) v находится {Яма, 1, I) v v находится {Яма, 3, 1). (4.87) Шаг 40. В соответствии с формулой (4.15), правилом исключения квантора общности, получаем -I находится {Сквозняк, 1, 2) z> -, находится {Яма, 1, 1) л л -1 находится {Яма, 2, 2) л -¦ находится {Яма, 1, 3). (4.88) Шаг 41. В соответствии с формулами (4.58), (4.11), (4.88) и правилами модус поненс и исключения конъюнкта получаем -, находится {Яма, 1, 1), (4.89) -, находится {Яма, 2, 2), (4.90) -, находится {Яма, 1, 3). (4.91) Шаг 42. В соответствии с формулами (4.87), (4.5), (4.90) и правилом резолюции получаем