Системы искусственного интеллекта: Рабочая программа, методические указания и задание на контрольную работу [В. Ю. Яньков] (doc) читать постранично, страница - 4

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

Рассуждением или умозаключением обычно называют ряд мыслей, изложенных в логически последовательной форме. Агент должен уметь находить интересующие его состояния среды (целевые состояния), если он что-либо знает о других ее состояниях. Определение целевых состояний осуществляется с помощью поиска или рассуждений в пространстве состояний. Рассуждения подобного рода можно формализовать в языке логики высказываний.
Нахождение последовательности действий из начального состояния в целевое называют поиском, выводом или рассуждением. Постановкой задачи называют задание всех состояний и действий, которые можно использовать для решения задачи, начального состояния и целевых состояний, а также всех допустимых переходов между состояниями при выполнении действий.
Элементарным шагом поиска является переход из одного состояния среды в другое и анализ состояния, в которое переход был осуществлен, на принадлежность к числу целевых. Каждый допустимый переход из состояния b j после совершения действия с j в состояние b k можно задавать с помощью правила перехода: « Если среда находится в состоянии bj и совершается действие с j , то она должна перейти в состояние b k ».
Каждый шаг состоит в проверке агентом истинности левой части правила (факта нахождения среды в состоянии b j и допустимости действия с j ) и, в случае ее истинности, признании факта перехода из состояния b j в состояние b k в результате действия с j . Естественно, нам хотелось бы иметь математический аппарат, на основе которого можно осуществлять постановку и поиск решения задачи формально, используя наилучшую стратегию поиска. Логика высказываний — это первый шаг к созданию такого аппарата.
Осуществить постановку задачи формально — значит, имея некий формальный язык, выразить на нем все знания о среде, необходимые для решения задачи. Формальный язык в соответствии с современными представлениями требует рассмотрения двух его неотъемлемых частей: синтаксиса и семантики. Синтаксис языка описывает допустимые в языке предложения, состоящие из цепочек (последовательностей) символов, принадлежащих определенному множеству, называемому алфавитом. Синтаксис языка позволяет отличать предложения, принадлежащие языку, от предложений, ему не принадлежащих. Семантика языка определяет смысл этих предложений, сопоставляя символы языка с объектами реального мира, а предложения — отношения между объектами. Без семантики предложения языка являются ничего не значащими для агента
цепочками символов. Семантика логики высказываний позволяет подразделять все множество допустимых предложений на истинные и ложные. Истинные — это те предложения, которые соответствуют имеющим место фактам или отношениям, а ложные — не имеющим. Решать задачу формально — это значит иметь множество правил и стратегию их использования, которые позволяют осуществить вывод одних синтаксически правильных истинных предложений из других синтаксически правильных истинных или предполагаемых истинными.
Синтаксис логики высказываний прост и имеет прямые синтаксические и семантические аналоги в естественных языках, что чрезвычайно облегчает нам понимание логики высказываний. Символами языка логики высказываний, составляющими ее алфавит, являются логические константы ИСТИНА ( или 1)и ЛОЖЬ( или 0), сокращенно обозначаемые буквами И и Л, логические переменные х, у, z,---, обозначаемые строчными буквами латинского алфавита, логические связки И, ИЛИ, НЕ, ЭКВИВАЛЕНТНО, ВЛЕЧЕТ и круглые скобки. Значениями логических переменных являются логические константы. Предложения языка логики высказываний, называемые также формулами или высказываниями, составляют в соответствии со следующими правилами:
логические константы являются простыми предложениями;
логические переменные также простые предложения;
сложные предложения формируются из простых с помощью связок