- •Московский энергетический институт (технический университет)
- •Модели, методы и программное обеспечение для уПравления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- •Диссертация на соискание ученой степени кандидата технических наук
- •Список основных сокращений
- •Глава 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.7.3. Распределённость истинности: диалоговые (теоретико-игровые) семантики
В диалоговых семантиках валентность любой формулы p их множества Р определяется двумя агентами: пропонентом a1 и оппонентом a2. Пропонент a1, выдвигающий некоторый тезис (формулу) p, стремится доказать его истинность, а оппонент a2, напротив, хочет опровергнуть его. Пространство значений истинности имеет вид VD = V1 V2, так что оценка истинности формулы p в переговорах двух агентов является двухосновной, vD: P® V1V2. Сам их диалог может быть представлен в виде четвёрки D = А, P, v1, v2, где А ={a1, a2}, pР, v1: Р V1, v2: РV2. Построим бирешётку оценок истинности BLV ={(v1, v2) v1L1, v2L2}, где L1 и L2 – две различные решётки, например, L1 = [0, +1] и L2 = [1, 0]. Тогда базовая семантика переговоров может быть представлена парами значений истинности: (+1, 0) = (T1, F2), (0, 1) = (F1, T2), (0, 0) = (F1, F2), (+1,1) = (T1, T2).
2.8. Формальное описание диалога с помощью системы правил
Проведённый выше анализ семантических аспектов диалога с точки зрения диалоговых игр позволяет работать со специфичными знаниями, используемыми и верифицируемыми в процессе диалога. Однако, в силу специфики диалоговых семантик, они рассматривают в первую очереди лишь диалоги убеждения. Для описания иных типов диалогового взаимодействия доступны механизмы поддержки ведения диалога на основе системы правил.
Рассмотрим формальное описание диалога с помощью системы правил [162]. Предположим, что предмет диалога между агентами может быть представлен на некотором логическом языке, чьи ППФ могут быть обозначены строчными латинскими буквами p, q, r и т.д. Тогда формализация диалоговой игры состоит из следующих элементов.
Стартовые правила (commencement rules): Правила, описывающие обстоятельства, при которых начинается диалог.
Правила построения (locutions): Правила, определяющие, какие диалоговые действия разрешены. Обычно, правила построения позволяют участникам добавлять выражения, подвергать сомнению или подтверждать добавленные ранее. Подтверждение выражения означает его доказательство или предоставление аргументов в его пользу. Правила диалоговой игры также могут позволять участникам добавлять выражения, которые имеют разную степень убедительности для них самих. Например, можно только предложить выражение в качестве возможного варианта или декларировать и отстаивать его истинность.
Правила комбинации (combination rules): Правила, определяющие контекст диалога при котором то или иное диалоговое действие разрешено, обязательно или запрещено. Например, может быть запрещено в процессе одного и того же диалога добавлять выражение p, а затем ¬p, предварительно не отменив предыдущего выражения.
Правила соглашения (commitments): Правила, определяющие обстоятельства, при которых участники диалога могут выражать своё отношение к добавленным выражениям. Обычно, добавление выражения в процессе диалога означает демонстрацию другим участникам диалога определённого уровня (не)одобрения, согласия, требования. Например, в диалоге торгов добавление предложения обычно выражает желание осуществить транзакцию на условиях, описанных в предложении. По Гамблину [148] формальная диалоговая система должна содержать и поддерживать набор соглашений каждого участника, называемый хранилищем соглашений. Эти хранилища обычно являются немонотонными в том смысле, что участники могут при определенных обстоятельствах отменять свои соглашения.
Правила завершения (termination rules): Правила, определяющие обстоятельства завершения диалога. Эти правила также могут определять исход диалога, т.е., например, указывать, смог ли проппонент защитить изначальный тезис.
На основании такой системы правил возможно построение динамической модели автоматизированного диалога. Однако совокупность перечисленных правил задает лишь фреймворк взаимодействия, позволяя строить диалоги различной сложности. Фактически, такая модель это усовершенствованный механизм построения сценариев взаимодействия, он не пригоден для определения семантики переговоров и установления соглашений.
Для развития формальной теории диалогов между агентами в МАС нужны варианты интеграции теоретико-игровых и логических моделей с использованием аппарата многозначных и нечётких логик.