- •Московский энергетический институт (технический университет)
- •Модели, методы и программное обеспечение для уПравления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- •Диссертация на соискание ученой степени кандидата технических наук
- •Список основных сокращений
- •Глава 1. Программные системы поддержки отношений с клиентами и поставщиками в электронном бизнесе 17
- •Глава 2. Моделирование диалога между агентами в подсистемах управлениях отношениями между агентами многоагентных систем 37
- •Глава 3. Многозначные и нечёткие логики в диалоговых задачах ии 76
- •Введение.
- •1.1. Классификация систем электронной коммерции, crm и srm-системы
- •Глава 1. Программные системы поддержки отношений с клиентами и поставщиками в электронном бизнесе
- •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
- •Выводы по четвертой главе
- •Заключение
- •Список литературы
- •Приложения
Выводы по четвертой главе
Следующие основные результаты, были получены в четвертой главе:
-
Разработаны методы представления знаний, мнений и целей агентов на языке диалоговой логики.
-
Разработаны алгоритмы вывода, поиска сопрягаемых ветвей, формирования списка соглашений, а также поиска оптимального соглашения.
-
Проведён анализ основных методологий построения агентно-ориентированных приложений и сформулирован универсальный методологический подход к построению агентно-ориентированных систем на базе диалоговых логик.
-
Разработана программная архитектура Web-системы взаимодействия с поставщиками и заказчиками на основе агентно-ориентированного подхода.
-
Приведены примеры использования диалоговой логики в построенной системе взаимодействия с поставщиками и заказчиками.
Заключение
В диссертации было проведено исследование систем управления взаимодействием с поставщиками и заказчиками, в ходе которого были выявлены недостатки современных систем и предложен подход к их устранению при помощи методов теории агентов и многоагентных систем.
Основным направлением исследований при построении агентно-ориентированной системы было построение моделей диалога и переговоров, применение которых позволит организовать автоматическое выполнение нетиповых запросов в ходе взаимодействия с поставщиком или заказчиком. Был разработан механизм осуществления взаимодействия, разработана концепция диалоговых логик и построены многозначные диалоговые логики, позволяющие достаточно адекватно проводить сложные диалоги и переговоры в системе.
В результате применения диалоговых логик удалось достичь высокой степени автоматизации системы, её хорошей масштабируемости как по ресурсам, так и по количеству запросов.
Основными результатами данной диссертации стали:
-
разработка агентно-ориентированного подхода к построению RM-систем;
-
разработка концепции построения многозначных и нечётких диалоговых логик и методов работы с ними, включающих представление знаний, мнений и целей на языке диалоговой логики, а также вывода в них;
-
разработка моделей диалога и переговоров агентов с использованием диалоговых логик, позволяющих проведение переговоров между агентами и достижение соглашений, а также аналитическое исследование и улучшение этих процессов при помощи установки правил и целей переговоров;
-
разработка методики построения агентно-ориентированных приложений, использующих диалоговые логики;
-
построение агентно-ориентированного программного комплекса для взаимодействия с поставщиками и заказчиками предприятия с использованием диалоговых логик при переговорах агентов.
В диссертационной работе решены следующие основные задачи:
-
обоснование целесообразности разработки интегрированной системы управления взаимодействием с поставщиками и заказчиками и её построение как системы с распределённой архитектурой;
-
разработка агентно-ориентированного подхода к построению систем RM-систем, включая разработку конкретной многоагентной архитектуры для RM-системы, построение архитектуры и реализация отдельных агентов;
-
анализ методов моделирования диалога между агентами системы, построение автоматных моделей и систем, основанных на правилах и протоколах взаимодействия;
-
построение логик диалога как диалогового произведения логик агентов-участников диалога;
-
исследование функциональной полноты и разработка методов вывода на диалоговом произведении логик;
-
построение методов представления знаний, мнений и целей агентов на языке диалоговой логики, а также алгоритмов вывода, поиска сопрягаемых ветвей, формирования списка соглашений и поиска оптимального соглашения;
-
анализ основных методологий построения агентно-ориентированных приложений и формулировка универсального методологического подход к построению агентно-ориентированных систем на базе диалоговых логик;
-
разработка программной архитектуры RM-систем, разработка и внедрение агентно-ориентированной web-системы, основанной на взаимодействии с заказчиками и поставщиками.
Разработанные автором модели и методы применены для решения задачи построения распределённых систем управлением взаимодействием с поставщиками и заказчиками. Эффективность алгоритмов, использованных в работе, подтверждена пятью свидетельствами отраслевой регистрации отраслевого фонда алгоритмов и программ федерального агентства по образованию (№9382 от 19.11.2007, №9631 от 11.01.2008, №9242 от 22.10.2007, №8154 от 19.04.2007 и №7922 от 19.04.2007) и результатами внедрения системы управления взаимодействием с поставщиками и заказчиками.
Основным направлением дальнейшего исследования, по мнению автора, является дальнейшее совершенствование аппарата диалоговых логик и применение его для решения задач в других предметных областях.