Упрощенная формальная модель интеллектуального агента

Пусть S есть множество состояний внешней среды, D есть хранилище (база) данных, в которой хранятся знания агента, T есть множество состояний внешней среды, которое агент способен воспринимать, и A есть множество действий, которое способен исполнять агент. Тогда теоретико-множественная модель агента может быть представлена в терминах следующего набора функций:

perceive: S® T,она определяет модель среды, которой обладает агент. Заметим, что модель среды, используемая агентом, может лишь приблизительно отвечать ее реальному состоянию;

infer: D´T® D, она задает изменение убеждений агента (знаний о внешней среде) после получения о ней информации с помощью функции восприятия perceive;

select: D ´T® A, которая определяет выбор действий агента после получения информации о внешней среде в контексте нового состояния базы данных D и

act: A ´ S® S, которая определяет изменение состояние внешней среды после воздействия на нее агента.

Рис. 2. Упрощенная формальная модель агента

Рис. 2 демонстрирует графически информационные потоки в представленной модели агента.

Таким образом, упрощенная формальная модель агента может быть представлена семеркой:

A=<D, T, A, perceive, infer, select, act>

В литературе эта модель известна под названием PRA -модель (" Perceive, Reason, Act "). Здесь этап " reason " включает в себя действия " infer " и " select " (рис. 2).

Приведенная упрощенная формальная модель агента ничем не отличается от модели обычной системы, основанной на знаниях. Специфические черты агента проявляются позже, а именно, на уровне концептуальной модели и программной реализации, когда определяются, в частности, функции " infer " и " select ", а также архитектура такой системы.