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

чудовища, аксиомами, учитывающими возможность совершения агентом выстрела из лука и поражения чудовища, если агент стоит к нему лицом в соседней ячейке и в ней нет сквозняка. Объясните, как в этом случае может измениться стратегия движения агента при условии, что после поражения чудовища зловоние, исходящее от него, исчезает. 4. ВЫВОД В ЛОГИКЕ ПРЕДИКАТОВ В настоящей главе рассмотрены процедуры вывода в логике предикатов первого порядка, позволяющие осуществлять вывод целевых формул. Введены основные понятия исчисления логики предикатов, отличающих его от исчисления высказываний. Продолжается знакомство с более сложными понятиями логических исчислений, базирующихся на логике предикатов первого порядка, показаны различные типы выводов. В конце главы затронуты вопросы полноты и непротиворечивости исчислений, основанных на логике предикатов первого порядка.