- •Московский энергетический институт (технический университет)
- •Модели, методы и программное обеспечение для уПравления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- •Диссертация на соискание ученой степени кандидата технических наук
- •Список основных сокращений
- •Глава 1. Программные системы поддержки отношений с клиентами и поставщиками в электронном бизнесе 17
- •Глава 2. Моделирование диалога между агентами в подсистемах управлениях отношениями между агентами многоагентных систем 37
- •Глава 3. Многозначные и нечёткие логики в диалоговых задачах ии 76
- •Введение.
- •Глава 1. Программные системы поддержки отношений с клиентами и поставщиками в электронном бизнесе
- •1.1. Классификация систем электронной коммерции, crm и srm-системы
- •1.2. Основные принципы построения современных систем класса crm и srm.
- •1.3. Агентно-ориентированный подход к построению rm-систем
- •1.4. Проблемы организации взаимодействия между агентами в мас
- •Выводы по первой главе.
- •Глава 2. Моделирование диалога между агентами в подсистемах управлениях отношениями между агентами многоагентных систем
- •2.1. Понятие взаимодействия агентов и его основные характеристики
- •2.2. Диалог и переговоры, их роль при построении rm систем
- •2.2.1. Понятия диалога и переговоров
- •2.2.2. Типы диалога
- •2.2.3. Принципы осуществления диалога: максимы Грайса
- •2.2.4. Роль диалога и переговоров во взаимодействиях, реализуемых в системах управления отношениями с поставщиками и клиентами
- •2.3. Общая классификация формальных моделей диалога
- •2.4. Диалоговые сети и коммуникативные акты
- •2.4.1. Теория диалоговых сетей
- •2.4.2. Формальная модель диалога на основе протокола коммуникации
- •2.4.3. Формальная автоматная модель диалога
- •2.5. Теоретико-игровые модели диалога
- •2.5.1 Подход Хинтикки
- •2.5.2. Оперативная семантика п.Лоренцена
- •2.6. Диалоговые игры
- •2.7. Семантики диалоговых логик
- •2.7.1. Семантики Данна-Белнапа
- •2.7.2. Многомерность истинности в диалоге: векторные семантики
- •2.7.3. Распределённость истинности: диалоговые (теоретико-игровые) семантики
- •2.8. Формальное описание диалога с помощью системы правил
- •Выводы по второй главе.
- •Глава 3. Многозначные и нечёткие логики в диалоговых задачах ии
- •3.1. Многозначные логики в описании диалогов
- •3.2. Модели диалога на основе произведений логик
- •3.2.1. Подход от лингвистики к логике
- •3.2.2. Произведения решёток и логик, бирешётки
- •3.3. Базовые логики для описания диалогов между агентами
- •3.3.1. Минимальнозначная логика диалога
- •3.3.2. Вывод в четырехзначной диалоговой логике Ldmin
- •3.4. Диалоговое произведение логик и вывод на нем.
- •3.5. Модализированные логики диалога
- •3.6. Некоторые диалоговые логики высокой значности.
- •3.7. Бесконечнозначные (нечёткие) логики диалога.
- •3.8. Логические модели рефлексии агентов
- •Выводы по третьей главе.
- •4. Программные агенты поддержки управления взаимодействием с поставщиками и заказчиками
- •4.1 Компьютерное моделирование диалога агентов на базе диалоговых логик
- •4.1.1 Представление знаний, мнений и целей агентов на языке диалоговой логики.
- •4.1.2 Алгоритмы автоматического решения задач с использованием диалоговой логики.
- •4.2 Методика построения агентно-ориентированных систем на базе диалоговых логик
- •4.2.1 Классификация существующих методологий проектирования агентно-ориентированных систем.
- •4.2.2 Методика проектирования взаимодействий между агентами с использованием диалоговых логик.
- •4.3. Реализация взаимодействия программных агентов в системах класса srm
- •Выводы по четвертой главе
- •Заключение
- •Список литературы
- •Приложения
2.2. Диалог и переговоры, их роль при построении rm систем
Прежде чем рассматривать различные модели диалога, следует определиться с содержанием понятия диалог. Понимание диалога как взаимодействия требует уточнения, так как сам термин взаимодействие интерпретируется по-разному. В данной диссертации будем рассматривать диалог в русле теории коммуникации.
2.2.1. Понятия диалога и переговоров
Несмотря на то, что диалог как литературная форма известен с древнейших времён, серьезные исследования диалога и построения первых моделей диалогового взаимодействия начались лишь в середине ХХ-го века. В первую очередь следует упомянуть работы родоначальника теории речевых (коммуникативных) актов Дж. Остина [64].
Остин предложил рассматривать каждое высказывание субъекта диалога как речевой акт. Каждый речевой акт при этом состоит из трёх аспектов локутивного, иллокутивного и перлокутивного. Подобная трёхуровневая форма анализа высказывания предполагает выделение локутивного акта (от латинского locutio «говорение»), как акта говорения, который в свою очередь включает в себя произнесение звуков (акт фонации), употребление слов, связывание их по правилам грамматики, обозначение с их помощью тех или иных объектов (акт референции), приписывание этим объектам тех или иных свойств и отношений (акт предикации), иллокутивного акта, то есть речевого акта, рассматриваемого с точки зрения его внеязыковой цели (вопрос, утверждение, информирование предупреждение и т.д), и перлокутивного акта, то есть речевого акта, рассматриваемого в аспекте его реальных последствий для субъектов диалога. В данной работе нас в первую очередь интересуют модели, находящиеся на втором и третьем уровне анализа коммуникативного акта.
Обычно взаимодействие в МАС осуществляется посредством диалогов между двумя агентами. Диалог – это последовательность коммуникативных актов между двумя агентами, которые считаются способными формировать общие цели и меняться ролями в процессе общения. Каждый агент может также иметь свои собственные цели в диалоге, которые должны быть согласованными с обязательством, наложенным общей целью. Каждый тип диалога требует формирования некоторого уровня обязательств и аргументаций, и каждый участник имеет набор суждений, которые могут быть положены в основу множества соглашений. Поскольку диалог развивается, набор суждений каждого собеседника изменяется со временем.
Начинаясь с одиночного диалога, процесс коммуникации охватывает другие пары агентов; для представления этих наборов диалогов, имеющих целью выработку некоторого соглашения, используется термин переговоры.
Переговоры в МАС представляют собой механизм координации (самоорганизации) действий агентов с целью установления устойчивого динамического распределения ресурсов, удовлетворяющего коллективным требованиям агентов МАС и не противоречащему их индивидуальным интересам.
Переговоры агентов можно интерпретировать как распределённый процесс поиска в пространстве потенциальных соглашений. Этот процесс является нелинейным, поэтому обычно пространство поиска не уменьшается, пока решение не достигнуто, так как цели агентов могут немного измениться или стать совершенно новыми. В большинстве случаев, каждый отдельный агент «обрабатывает» только часть общего пространства поиска и, в ее пределах существует область, которая удовлетворяет его ожиданиям. Каждый агент имеет определённый набор целей в пределах точек соглашений, которые являются приемлемыми для этого. Поиск успешно завершается, когда точка соглашения достигнута, т.е. там существует непустое пересечение среди индивидуальных мест. Процесс заканчивается, когда заканчивается поиск, независимо от его успеха или неудачи.
Если агент а1, нуждается в сотрудничестве относительно некоторой константы p, это порождает глобальный запрос сотрудничества, на который агенты системы отреагируют отображением их готовности рассмотреть данный запрос. Когда другой агент, например а2, получает сообщение от агента а1, запрашивая сотрудничество для определенной литеры - диалог начинается между а1 и а2, в котором они договорятся о получении p. Чтобы сотрудничать, агент а2 пытается строить план, который не должен конфликтовать с его собственными намерениями. Если знания агента недостаточно для построения плана, диалог может быть продолжен со встречным предложением. Если агент а1 не может принять это встречное предложение, агент а2 может сделать запрос другому агенту в группе, например к агенту а3, приостанавливая диалог с а1 и устанавливая новый с а3. Диалог между двумя агентами продолжается, пока соглашение не достигнуто, или один из них решает, что не способен сотрудничать. Эта последняя ситуация могла возникнуть из-за недостатка знания, или конфликтов среди целей. Если существует конфликт между агентом а1 и агентом а2, первый может повторить его запрос, но на сей раз с большей силой. Существование конфликтов между агентами а2 и а3 может также предотвратить успешное завершение диалога между а1 и а2. В этих случаях, модель переговоров предлагает, что агент а2 сообщил агенту а1, что конфликт с агентом а3 препятствует этому сотрудничеству; следовательно, агент а1 должен быть тем, который направляет агента а3 на решение конфликта и достижение соглашения.