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

Шаг 62. В соответствии с формулами (4.123), (4.10) и правилом модус поненс получаем находится (Блеск, 2, 3). (4.125) 81 4. Вывод в логике предикатов Шаг 63. В соответствии с формулой (4.24) и правилом исключения квантора общности получаем находится (Агент, 2, 3) л находится (Блеск, 2, 3) z> взять (2, 3). (4.126) Шаг 64. В соответствии с формулами (4.123), (4.125) и правилом введения конъюнкции получаем находится (Агент, 2, 3) л находится (Блеск, 2, 3). (4.127) Шаг 65. В соответствии с формулами (4.127), (4.126) и правилом модус поненс получаем взять (2, 3). (4.128) Шаг 66. В соответствии с формулой (4.128) и правилом введения квантора существования получаем взять (2, 3) => 3 (/, j) взять (/, у). (4.129)