Лингвистическая школа: коммуникативные акты и модель потоков работ

В контексте построения протоколов коммуникации между программными агентами в сети вначале подробнее остановимся на некоторых результатах лингвистической школы. Коммуникация между агентами может быть основана на теории речевых актов, предложенной Дж. Остином [39] и Дж. Серлем [122] и формализованной Т. Виноградом и Ф. Флоресом [135]. Исходя из идеи о том, что любой разговор преследует некоторую цель, Дж. Серль рассматривает понятие языкового (речевого) акта как минимальную и базисную единицу коммуникации. Анализ всех возможных в данной ситуации речевых актов и определение соответствующих ограничений, зависящих от рассуждений гентов, позволяет составить протокол коммуникации. Речевые акты подразделяются на следующие классы: директивные, ассертивные, промиссивные и экспрессивные. Их моделирование позволяет описать процессы координации в МАС.

Главный компонент процесса координации есть замкнутый контур, называемый «потоком работ» (workflow) [135,64]. Тогда процесс координации в МАС, понимаемый как моделирование сети взаимных обязательств между агентами, направленных на удовлетворение агента-клиента, описывается системой замкнутых контуров потоков работ. Базовый контур в модели потоков работ связывает агента-заказчика с агентом-исполнителем в рамках следующего цикла, состоящего из четырех этапов или потоков: «подготовка — переговоры — выполнение — приемка» (рис.7). На этапе подготовки агент-заказчик направляет запрос (заказ на выполнение работы) агенту-исполнителю. На следующем этапе происходят переговоры, направленные на выработку взаимоприемлемых условий выполнения заказа. Затем агент-исполнитель выполняет работу и окончив ее, докладывает агенту-заказчику о завершении, а на последнем этапе тот принимает или отклоняет работу.

Здесь сеть соглашений (или обязательств) формирует организацию, причем соответствующие коммуникативные акты агентов, образующие протокол коммуникации, определяются возможными речевыми актами, сведенными в табл.5. Адекватная модель подобного протокола — конечный автомат с фиксированным пространством состояний [135] (рис.8). Более подробное и избыточное описание можно построить с использованием сетей Петри [72].