Интеллектуальные агенты. Конкретные архитектуры интеллектуальных агентов. Языки программирования агентов., страница 10

Рисунок 1.3 Агенты, которые сохраняют состояние.

Эти агенты имеют некоторую внутреннюю структуру, которая обычно используется для записи информации о состояниях окружения и истории. Пусть I будет набором внутренних состояний агента. Процесс принятия решения агента в этом случае основан, по крайней мере, на части этой информации. Функция восприятия see для агента  с состоянием осталась неизменной, относя состояние окружения к восприятиям:

see:SàP

А функция выбора действия теперь определяет соответствие

action:IàA

между внутренними состояниями и действием. Также добавляется новая функция next, которая относит внутренние состояния и восприятия к внутреннему состоянию:

next:IxPàI

Поведение агента с состоянием можно просуммировать следующим. Агент стартует с некоторым внутренним состоянием i₀. Потом он обозревает состояние окружения s, и вырабатывает восприятие see(s). Затем внутреннее состояние агента обновляется посредством функции next, и устанавливается равным next(i₀,see(s)). Действие, выбранное затем агентом будет action(next(i₀,see(s))). Это действие выполняется и после выполнения агент начинает следующий цикл: воспринимает see, обновляет внутреннее состояние через next, и выбирает действие через action.

Стоит заметить, что агенты с состоянием описанные здесь, на самом деле не более powerful (мощные?), чем стандартные агенты, представленные ранее. На самом деле, они идентичны по своей expressive power (выразительности?) – каждый агент с состоянием может быть преобразован в поведенчески идентичный стандартному агенту.

1.4  Конкретные архитектуры интеллектуальных агентов.

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

-  агенты, основанные на логике – в которых принятие решения реализовано посредством логической дедукции;

-  реактивные агенты, в которых принятие решения реализовано в некоторой форме отображения ситуации на действие;

-  belief-desire-intention агенты, в которых принятие решения зависит от манипуляций над структурами данных агента, представляющих собой beliefs, desires и intentions;

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

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

1.4.1  Агенты основанные на логике.

Традиционный подход к построению систем искусственного интеллекта (обозначаемого как AI) предлагает, что интеллектуальное поведение может быть выработано в системе, давая этой системе символическое представление окружения и ее желаемого поведения и синтаксически манипулируя этих представлением. В этом разделе мы сфокусируем внимание на апофеозе  этой традиции, в котором эти символические представления являются логическими формулами и синтаксическое манипулирование сводится к логической дедукции и доказательству теорем. Идея агента,  доказывающего теоремы, заманчива. Предположим мы имеем некоторую теорию организации, которая объясняет как интеллектуальный агент должен себя вести. Эта теория может объяснять, например, как агент вырабатывает цели и таким образом удовлетворяет своим конструктивным назначениям, как он разделяет целенаправленное и реактивное поведения для достижения этих целей и т.д. Тогда эта теория f может рассматриваться как определение того, как агент должен себя вести. Этот традиционный подход к реализации системы, которая удовлетворяет этому определению, будет включать уточнение определения через серию последовательно более конкретных состояний до того, пока окончательная реализация не будет достигнута. Но, при рассматривании агента как доказывателя теорем, однако,  никакого уточнения не происходит. Вместо этого f рассматривается как выполняемая спецификация: она прямо выполняется для получения поведения агента.