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

находится (Агент, 1, 1), (4.1)* ориентация (1, 2). (4.2)* Выполняя преобразования на основе закона -. a s -, а v Ложь = гоэ Ложь, получаем находится (Зловоние, 1, 1) г> Ложь, (4.3)* находится (Сквозняк, 1, 1 ) г> Ложь, (4.4)* находится (Яма, 1, I) г> Ложь. (4.5)* 84 4.1. Исчисление предикатов Простым удалением квантора общности (если он есть) или на основе закона (а з р л у) = (-1 a v р л у) = (а з р) л (а з у) получаем следующие формулы: находится (Препятствие, /, 0), (4.6)* находится (Препятствие, О, у), (4.7)* находится (Агент, 1, 2) з находится (Зловоние, 1, 2), (4.8)* находится (Агент, 2, 1) з находится (Сквозняк, 2, 1), (4-9)* находится (Агент, 2, 1) з -¦ находится (Зловоние, 2, 1), находится (Агент, 2, 3) з находится (Блеск, 2, 3). (4.10)* Выполняя преобразования на основе закона v Ложь = а л р з Ложь, получаем следующие формулы: