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

находится (Зловоние, 1, 2). (4.4S Шаг 12. В соответствии с формулами (4.11), (4.47) и правилом модз поненс получаем -, находится (Сквозняк, 1, 2). (4.50 Шаг 13. В соответствии с формулой (4.18) и правилом исключени квантора общности получаем находится (Зловоние, 1, 2) г> находится (Чудовище, 1, 1) v v находится ( Чудовище, 1, 2) v находится (Чудовище, 1, 3) v v находится (Чудовище, 2, 2). (4.51 Шаг 14. В соответствии с формулами (4.49), (4.51) и правилом мод> поненс получаем находится (Чудовище, 1, 1) v находится (Чудовище, 1, 2) v v находится (Чудовище, I, 3) v находится (Чудовище, 2, 2). (4.52 Шаг 15. В соответствии с формулой (4.52) и правилом резолюции (согласи (4.36) истинен предикат -i находится (Чудовище, 1, 1), а по (4.37) — истине предикат -. находится (Чудовище, I, 2); следовательно, находится (Чудовищ 1, 1) и находится (Чудовище, 1, 2) ложны) получаем