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

находится (Яма, i, j) з находится (Сквозняк, i, j), находится (Яма, /, у-1) з находится (Сквозняк, i, j), находится (Яма, i,j + \) з находится (Сквозняк, i,j), находится (Яма, /-1, у) з находится (Сквозняк, i, j), находится (Яма, i+\, у) з находится (Сквозняк, i, j); (4.15)* 85 4. Вывод в логике предикатов находится (Зловоние, i, у") з находится (Чудовище, i, j), находится (Зловоние, i, j-\) r> находится (Чудовище, i, j), находится (Зловоние, i,j + l) r> находится (Чудовище, i, j), находится (Зловоние, i-\, j) z> находится (Чудовище, i, j), находится (Зловоние, i+\,j) r> находится (Чудовище, i, j). (4.16)*