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

В пятой главе предпринята первая попытка построения исчислений. Введено понятие формального языка, рассмотрена связь языка и среды, приведены примеры представления сред в формальном языке и построения по этому описанию наилучшего в определенном смысле последрвательностного агента, поскольку любое исчисление — это прежде всего некоторый формальный язык представления знаний. Процедуры рассуждений связаны с поиском цели, поэтому в шестой главе показаны различные стратегии поиска и их выбор в зависимости от типа и доступных знаний о среде. В седьмой главе описана достаточно универсальная ситуационная модель среды, которая может использоваться для решения в различных прикладных задачах информатики. В восьмой главе рассмотрено исчисление, называемое ситуационным, которое можно использовать для создания агентов и их совокупностей, решения различных прикладных задач, связанных с моделированием и управлением в дискретных средах. Девятая глава посвящена исчислению, называемому иначе модальной логикой, и вопросам применения его для анализа корректности программ.