- •Московский энергетический институт (технический университет)
- •Модели, методы и программное обеспечение для уПравления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- •Диссертация на соискание ученой степени кандидата технических наук
- •Список основных сокращений
- •Глава 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
- •Выводы по четвертой главе
- •Заключение
- •Список литературы
- •Приложения
Выводы по второй главе.
В данной главе были рассмотрены основные подходы к моделированию и построению диалога между агентами в агентно-ориентированной среде. Несмотря на то, что рассмотренные модели охватывают практически все аспекты диалогового взаимодействия, включая семантику, прагматику и синтактику, они не дают достаточной гибкости при анализе диалога и их практическое использование в качестве средства достижение соглашений в сложных нетиповых условиях представляется затруднительным. Также ни одна из рассмотренных моделей не пригодна для использования с интеллектуальными агентами, способными к обучению и самообучению.
Как было показано, существующие модели диалога как диалоговых логик и диалоговых игр наделены рядом недостатков, не позволяющих при их помощи моделировать процессы согласования мнений и заключения соглашений между агентами. Поэтому необходимо разработать новый аппарат для формализации диалога и переговоров на основе теории решеток, бирешёток, многозначных логик и их декартова произведения.
В рамках существующей парадигмы были построены модели взаимодействия агентов на основе протоколов коммуникации. Данная модель позволяет строить диалог и переговоры агентов в заранее определенных ситуациях взаимодействия. Их применение позволяет реализовывать не только базовую функциональность, но и закладывает основу для реализации механизмов более высокого уровня.
Автоматная модель, RM-системы, разработанная автором в этой главе, также позволяет описывать и анализировать любые случаи диалога между агентами, однако, агент в рамках данной модели представляет собой классический «черный ящик». За рамками рассмотрения оказываются цели, мнения, возможности, знания агента, для достижение диалоговых целей агенту понадобится в первую очередь механизм рефлексивных рассуждений, учитывающий интенсиональные характеристики собеседника.
Проведенный анализ моделей диалога и применение их для построения RM систем позволяет заключить, что для построения комплексной модели, адекватной условиям работы в сложных ситуациях диалогового взаимодействия, необходим учет всех аспектов подобного взаимодействия, модели которых были рассмотрены и построены в рамках данной главы. Однако, для более эффективной работы с более полным анализом требований заказчиков или поставщиков необходимо построение логической модели диалога на базе многозначных логик и их декартового произведения.
Глава 3. Многозначные и нечёткие логики в диалоговых задачах ии
3.1. Многозначные логики в описании диалогов
Для решения проблемы установления истинности при ведении переговоров, а также для построения адекватного механизма разрешения конфликтов и достижения соглашений предложим подход, основанный на использовании многозначных логик [6,7], как основы диалогового процесса.
Сформулируем основные отличительные черты диалоговых логик, которые являются структурно и функционально определяющими.
Многомерность семантики. Вследствие наличия различных ролей в процессе диалога, семантика диалоговой логики не может быть одномерной, и должна предлагать как минимум два измерения. Например, в диалоге клиента и продавца предикат P(X,C) = «продажа товара Х по цене C», означает с точки зрения продавца передачу предмета X в обмен на вознаграждение С, а с точки зрения клиента прямо противоположный процесс. Соответственно, истинность предиката P(X,C) для продавца означает возможность осуществить продажу, а для покупателя – желание совершить покупку.
Распределённость истинностных значений логики. Ни один агент в процессе диалога не обладает монополией на истину, ни один не может дать полную и исчерпывающую интерпретацию диалоговых формул. Поэтому для осуществления вывода в данной логике необходима добрая воля обоих агентов, согласных поделиться знаниями друг с другом.
Очевидно, минимальной логикой, пригодной для использования в роли диалоговой является четырёхзначная логика, в которой в качестве истинностных значений фигурируют истинностные значения логик, используемых агентами-участниками. В основе же любой диалоговой логики должна лежать диалоговая решётка, подобная логической решётке Белнапа или аппроксимационной решётке, понятие которой будет введено позже в данной диссертации.
Начнём с лингвистического анализа диалогов, происходящих в RM-системе.