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

-, находится (Чудовище, 3, 2). (4.113) Шаг 56. В соответствии с формулой (4.15) и правилом исключения квантора получаем 80 4.1. Исчисление предикатов -i находится {Сквозняк, 2, 2) з -i находится (Яма, 2, 1) л л -1 находится (Яма, 2, 3) л -¦ находится (Яма, 1, 2) л л -1 находится (Яма, 3, 2). (4.114) Шаг 57. В соответствии с формулой (4.114) и правилом исключения конъюнкта получаем -, находится (Яма, 2, 1), (4.115) -, находится (Яма, 2, 3), (4.116) -.находится (Яма, 1, 2), (4.117) -I находится (Яма, 3, 2). (4.118) Шаг 58. В соответствии с формулой (4.21) и правилом исключения квантора общности получаем