- •Московский энергетический институт (технический университет)
- •Модели, методы и программное обеспечение для уПравления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- •Диссертация на соискание ученой степени кандидата технических наук
- •Список основных сокращений
- •Глава 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.2. Многомерность истинности в диалоге: векторные семантики
Дж. Данн [131] предложил понимать истинность как отношение, которое не обязательно является функциональным. При этом в общем случае F(p) 1– T(p), т.е. понятие «ложь» больше не является дополнением «истины», а выступает в качестве самостоятельного понятия; таким образом, условия ложности предложения должны определяться параллельно с условиями их истинности. Возникает двухмерная (векторная) семантика, исходящая из независимости истинности и ложности. Подобная двухосновная семантика может быть получена путём прямого произведения элементарных семантик.
Родоначальником многомерных логик является русский логик Н.А.Васильев [21], который почти сто лет назад ввел понятие «воображаемой логики» трёх измерений. В основе этой логики лежат три типа атомарных предложений: позитивные, негативные и индифферентные (акцидентальные).
Многомерные семантики выражают идею взаимосвязи между логикой и онтологией, показывая зависимость логики от допущений о мире (геометрии логического пространства). По сути, они расширяют концепцию возможных миров (точек соотнесения).
Пусть V=[0,1], т.е. T, F [0,1]. Тогда в двухмерных логических семантиках валентность v любого предложения p задаётся парой не зависимых друг от друга величин v(p) = (T(p), F(p)), т.е. определяется в единичном квадрате v: P®[0,1]2, а в трёхмерных семантиках – тройкой vB(p) = (T(p), F(p), B(p)) (паранепротиворечивые семантики) или тройкой vI(p) = (T(p), F(p), I(p)) (параполные семантики). Как частные случаи, получаем тавтологическую семантику vT(p) = (1, 0, 0), парадоксальные семантики vP(p) = (1, 1, B(p)), псевдопарадоксальные семантики vPP(p) = (1, F(p), B(p)), чисто фаллибилистические семантики vf(p) = (0, 0, I(p)) и т.п.
Модализация истинностных значений (в стиле Н. Решера [167]) на основе мер возможности Заде П и необходимости Дюбуа-Прада N, приводящая к нарушению принципа дополнительности, связана с формированием возможностных 2T(p) + F(p) 1 и необходимостных T(p) + F(p) 1 семантик.
Построение многомерных логик может опираться на нестандартные нечёткие множества с интервальнозначными или векторными функциями принадлежности. Показательными примерами последних служат интуиционистские нечёткие логики и нейтрософские логики.
В середине 80-х годов К. Атанасов ввел понятие интуиционистского нечёткого множества, описываемого парой функций принадлежности m и непринадлежности n соответственно: А = {(xú mА(x), nА(x))} или m: X ® [0,1], n: X ® [0,1], m(x)+n(x) £ 1. Соответственно, здесь интуиционистская семантика опирается на пару v(p) = (T(p), F(p)) и условие T(p) + F(p) 1. Непосредственными обобщениями являются интервальнозначная интуиционистская семантика, когда T, F [0,1] и нечёткая интуиционистская семантика T, F[0,1][0,1].
В свою очередь, стандартная нейтрософская cемантика (по Ф.Смарандаче) задается в виде vI: P® [0,1]3, vI(p) = (T(p), F(p), I(p)), где T(p) – степень истинности высказывания p, F(p) – степень его ложности, а I(p) – степень его неопределённости, T, F, I – числа или подинтервалы интервала [0,1].