Управление проектами в бизнес-коммуникациях презентация

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

Коммуникации между агентами
Макро-аспекты многоагентных систем включают в себя два понятия:
Коммуникации – обмен сообщениями
Кооперация
Слайд

Обмен сообщениями
Коммуникации в многоагентных системах построены на принципах теории переговоров (speech act theories)
Теории переговоров – прагматичные теории языка. Они описывают как используется тот или иной язык людьми для достижения поставленных целей и намерений
Считается, что теории переговоров начались с книги Остина 1962 года How to Do Things with Words
Слайд

Переговоры
Остин указывает, что некоторые высказывания больше похожи на физические действия, которые изменяют состояние мира (среды)
Например:
Объявление войны
Дача имени ребенку
“Нарекаю вас мужем и женой” ☺
Все, что мы высказываем высказывается с намерением достижения каких-то целей
Теория о том как используются высказывания для достижения намерений и есть теория переговоров
Слайд

Переговоры
Searle (1969) вводит следующие различные типы переговоров:
репрезентативные:
Информирующие, например “идет дождь”
директивные:
Указание другой стороне сделать что-либо, например “приготовь чай”
обязательства:
Одна сторона обещает сделать что-либо
выразительные:
Говорящий выражает свое состояние, например “Спасибо!”
декларативне:
Например, объявление войны
Слайд

Переговоры
Нет единого мнения о том, является ли данная (или вообще какая-нибудь) топология переговоров правильной
В общем случае, мы можем считать, что во всех сообщениях есть две компоненты:
Действие (performative)
(например, информирование, обещание)
Содержание (content)
(например, “дверь закрыта”)
Слайд

Переговоры
Например:
performative = request
content = “дверь закрыта”
speech act = “закрой дверь”
performative = inform
content = “дверь закрыта”
speech act = “дверь закрыта!”
performative = inquire
content = “дверь закрыта”
speech act = “дверь закрыта?”
Слайд

Коммуникации между агентами
Несколько уровней абстракции:
Сетевой (network)
TCP
Языковый (language)
FIPA ACL, KQML
Уровень приложений (application)
Что говорить, кому говорить, когда говорить и тд
Слайд

Коммуникации между агентами
Для взаимодействия агентов используются языки коммуникаций между агентами (agent communication languages, ACLs) — стандартные протоколы обмена сообщениями
Два наиболее широко применеямых языка – FIPA ACL и KQML
FIPA ACL разработан комитетом FIPA
KQML разработан по инициативе ARPA и состоит из двух частей:
Язык запроса и манипуляций данными (KQML)
Формат обмена данными (KIF)
Слайд

KQML и KIF
KQML – “внешний” язык, который определяет множество допустимых коммуникативных действий (performatives). Например:
ask-if (‘это правда, что. . . ’)
perform (‘выполни следующее действие... ’)
tell (‘сообщи. . . ’)
reply (‘ответ. . . ’)
KIF – это язык для описания содержимого сообщения
Слайд

KIF – Knowledge Interchange Format
“The temperature of m1 is 83 Celsius”:
(= (temperature m1) (scalar 83 Celsius))
“An object is a bachelor if the object is a man and is not married”:
(defrelation bachelor (?x) :=
(and (man ?x) (not (married ?x))))
“Any individual with the property of being a person also has the property of being a mammal”:
(defrelation person (?x) :=> (mammal ?x))
Слайд

KQML и KIF
Чтобы иметь возможность общаться, агентам необходимо иметь определенный согласованный набор терминов
Формальная спецификация набора терминов называется онтологией (ontology)
Для обмена информацией необходимо иметь общие онтологии. Для создания онтологий служат различные инструменты, например ontolingua
Пример KQML/KIF диалога…
A to B: (ask-if (> (size chip1) (size chip2)))
B to A: (reply true)
B to A: (inform (= (size chip1) 20))
B to A: (inform (= (size chip2) 18))
Слайд

FIPA
Организация под названием Foundation for Intelligent Physical Agents (FIPA) призвана разработать стандарты построение и взаимодействия агентов и агентных платформ. Центральное место занимает стандарт протокола ACL
Общая структура этого протокола очень похожа на KQML:
Действие (performative)
20 performatives в FIPA ACL
Роль (housekeeping)
например, отправитель (sender)
Содержание(content)
Информативная часть сообщения
Слайд

Структура сообщения FIPA ACL
FIPA ACL сообщение содержит ряд параметров, количество которых может меняться.
Обязательным является только performative, хотя обычно большинство сообщений содержат sender, receiver и content параметры.
Слайд

FIPA
Пример:
(inform
:sender agent1
:receiver agent5
:content (price good200 150)
:language sl
:ontology hpl-auction
)
Слайд

Performatives
Слайд

“Inform” и “Request”
“Inform” и “Request” являются двумя основными действиями в FIPA ACL. Все остальные являются макро действиями и построены на базе этих двух
Смысл “inform” и “request” определен в двух частях:
начальные условия
что должно выполниться для того, чтобы акт переговоров прошел успешно
“рациональный эффект”
что отправитель сообщения надеялся осущевствить
Слайд

“Inform” и “Request”
Для действия “inform”:
Тело сообщения – некое утверждение (statement)
Начальные условия в том, что отправитель:
считает, что информация справедлива
намеревается информировать получателя
не полагает, что получатель уже знает эту информацию
Слайд

“Inform” и “Request”
Для действия “request”:
Тело сообщения – некое действие (action)
Начальные условия в том, что отправитель:
хочет, чтобы действие, описанное в теле сообщения было выполнено
думает, что получатель способен выполнить это действие
Не полагает, что получатель уже собирается выполнить это действие
Слайд

Протоколы взаимодействия (Interaction protocols)
Общение агентов часто укладывается в стандартные шаблоны.
В этом случае ожидаются определенные последовательности сообщений
Эти шаблоны называются протоколами взаимодействия
Протоколы взаимодействия FIPA – заранее определенные протоколы обмена ACL сообщениями
Всего на настоящий момент существуют спецификации для 11-ти протоколов
Слайд

Протоколы взаимодействия
FIPA протоколы взаимодействия являются частью FIPA Interaction Protocol Library (FIPA IPL)
Для описания IP существуют разные нотации:
Расширение UML нотации, AUML
Раскрашенные сети Петри (colored Petri nets)
Слайд

Request IP
Позволяет одному агенту запросить другого выполнить действие
Получатель обрабатывает запрос и принимает решение о выполнении действия
Слайд

Request-When IP
Позволяет одному агенту запросить другого выполнить действие, когда определенное условие выполнится
Получатель обрабатывает запрос и принимает решение о выполнении действия.
Слайд

Query IP
Позволяет одному агенту запросить другого выполнить “inform”-действие
Получатель обрабатывает запрос и принимает решение о выполнении действия.
Слайд

Использование сетей Petri для нотации IP-протоколов
Слайд

Ссылки
Gmytrasiewicz, P. J. and Durfee., E. H. Rational communication in multi-agent systems. Autonomous Agents and Multi-Agent Systems Journal, 4(3):233–272, 2001
Vlassis, N. A concise introduction to multiagent systems and distributed AI. Informatics Institute, University of Amsterdam. http://www.science.uva.nl/_vlassis/cimasdai , 2003
Слайд