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

находится (Агент, I, 2) л находится (Сквозняк, 1, 2) з Ложь,. (4.11)* находится (Агент, 2, 2) л находится (Зловоние, 2, 2) з Ложь, (4.12)* находится (Агент, 2, 2) л находится (Сквозняк, 2, 2) з Ложь. (4.13)* Вторая формула в (4.9)* может быть преобразована аналогично. С помощью преобразования -1<хз-.рлл-.ул... A-.S = av-,pA -I у л ... л -1 6 = (a v -1 Р) л (a v -. у ) л ... л (a v -1 6) s = (Р з а) л (у з а) л ... л (8 з а), удаления квантора существования и правила исключения конъюнкта, получаем следующие формулы: находится (Чудовище, i, j) з находится (Зловоние, /, j), находится (Чудовище, i, j-\) з находится (Зловоние, i, j), находится (Чудовище, i, j+\) з находится (Зловоние, i, j), находится (Чудовище, i-\, j) з находится (Зловоние, i, j), находится (Чудовище, / + 1, у) з находится (Зловоние, i, j); (4.14)*