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

Ситуационному исчислению в целом и языкам ситуационных исчислений и посвящены следующие главы. При решении реальных задач дело имеют не с физической средой, а с ее моделью. Как уже говорилось в главе S, с точки зрения агента физическая среда и модель среды неразличимы. Модель среды сложно представить или описать на каком-либо языке. Мы будем использовать язык логики предикатов первого порядка. В настоящей главе рассмотрено не описание конкретной среды, а наиболее типичные языковые конструкции, используемые для представления моделей сред. 7.1. Базовые понятия ситуационной модели Формирование базовых понятий ситуационной модели осуществляется на основе логики предикатов первого порядка с использованием ее синтаксиса и семантики. Поэтому все базовые понятия ситуационной модели строятся на основе термов, атомов, литералов, функций и формул логики предикатов первого порядка. Если синтаксис какого-либо базового понятия совпадает с синтаксисом в логике предикатов первого порядка, его семантика также совпадает с семантикой аналогичного понятия в логике предикатов первого порядка. Несмотря на то что логика предикатов в четвертой главе рассмотрена достаточно подробно, некоторые понятия уточним для удобства чтения главы.