7.4. Лингвистическая школа: коммуникативные акты и модель потоков работ
В контексте построения протоколов коммуникации между программными агентами в сети вначале подробнее остановимся на некоторых результатах лингвистической школы.Коммуникация между агентами может быть основана на теории речевых актов, предложенной Дж.Остином [39] и Дж. Серлем [122] и формализованной Т.Виноградом и Ф.Флоресом [135]. Исходя из идеи о том, что любой разговор преследует некоторую цель, Дж.Серль рассматривает понятие языкового (речевого) акта как минимальную и базисную единицу коммуникации. Анализ всех возможных в данной ситуации речевых актов и определение соответствующих ограничений, зависящих от рассуждений гентов, позволяет составить протокол коммуникации. Речевые акты подразделяются на следующие классы: директивные, ассертивные, промиссивные и экспрессивные. Их моделирование позволяет описать процессы координации в МАС.
Главный компонент процесса координации есть замкнутый контур, называемый «потоком работ» (workflow) [135,64]. Тогда процесс координации в МАС, понимаемый как моделирование сети взаимных обязательств между агентами, направленных на удовлетворение агента-клиента, описывается системой замкнутых контуров потоков работ. Базовый контур в модели потоков работ связывает агента-заказчика с агентом-исполнителем в рамках следующего цикла, состоящего из четырех этапов или потоков: «подготовка - переговоры - выполнение – приемка» (рис.7). На этапе подготовки агент-заказчик направляет запрос (заказ на выполнение работы) агенту-исполнителю. На следующем этапе происходят переговоры, направленные на выработку взаимоприемлемых условий выполнения заказа. Затем агент-исполнитель выполняет работу и окончив ее, докладывает агенту-заказчику о завершении, а на последнем этапе тот принимает или отклоняет работу.
Здесь сеть соглашений (или обязательств) формирует организацию, причем соответствующие коммуникативные акты агентов, образующие протокол коммуникации, определяются возможными речевыми актами, сведенными в табл.5. Адекватная модель подобного протокола – конечный автомат с фиксированным пространством состояний [135] (рис.8). Более подробное и избыточное описание можно построить с использованием сетей Петри [72].
8. Заключение
Настоящий обзор посвящен анализу наиболее общих понятий, представлений, концепций и моделей, относящихся к исследованию и разработке агентов и многоагентных систем. За кадром остались столь важные и необходимые аспекты как архитектуры агентов и многоагентных систем, модели планирования и выполнения действий, языки программирования агентов. На русском языке эти и другие вопросы освещены в обзоре В.И.Городецкого с соавторами из Санкт-Петербургского института информатики и автоматизации РАН [8], публикуемом в настоящем номере журнала.
Автор выражает свою благодарность Д.А.Поспелову, Э.В.Попову, В.И.Городецкому, В.П.Кутепову и Х.Невешу за поддержку работы и ряд полезных дискуссий по проблематике МАС, а также В.Н.Вагину и Г.С.Плесневичу за обсуждение на рабочем семинаре в МЭИ возможностей и ограничений неклассических логик в контексте моделирования агентов.
Данная работа выполнена при поддержке Российского фонда фундаментальных исследований (проект N 98-01-00227).
Рис.7. Базовая модель потоков работ
Табл. 5. Протокол коммуникации агентов в модели потоков работ
Этап
|
Акты агента-заказчика |
Акты агента-исполнителя
|
Подготовка
|
Сделать заказ Принять предложение
|
Сделать предложение |
Переговоры
|
Сделать контрпредложение Отклонить контрпредложение Принять контрпредложение
|
Сделать контрпредложение Отклонить заказ Принять заказ Передать заказ Принять контрпредложение
|
Выполнение
|
|
Выполнить заказ Отказаться от выполнения
|
Приемка
|
Принять работу (выразить удовлетворение) Принять работу условно (направить на доработку) Отклонить работу
|
|
Любой этап
|
Отменить заказ Дать комментарии
|
Дать комментарии
|