- •Московский энергетический институт (технический университет)
- •Модели, методы и программное обеспечение для уПравления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- •Диссертация на соискание ученой степени кандидата технических наук
- •Список основных сокращений
- •Глава 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. Семантики диалоговых логик
Семантика в математической логике есть исследование интерпретаций логического исчисления, формальной аксиоматической теории. Семантика занимается изучением смысла и значений конструкций формализованного языка теории, способами понимания его логических связок и формул. Семантика логических связок в классической и интуиционистской логике носит экстенсиональный характер, т.е. истинность сложного высказывания определяется только характером истинности составляющих его высказываний.
В иных логиках, например, релевантных, может учитываться и смысловое содержание понятий (такие логики называются интенсиональными). Так в интенсиональных логиках необязательно, чтобы все истинные высказывания были эквивалентными.
Семантика уделяет главное внимание описанию и определению таких понятий, как «истина», «ложь», «неопределённость», «противоречивость».
Современная логическая семантика включает два основных направления: теория истины и теория значения. Среди различных подходов в русле первого направления можно отметить: теоретико-модельные семантики, которые, по сути, представляют собой архетип семантической теории истины А.Тарского [102,103]; семантики истинностных значений, развитые Дж.Данном [131] и Н.Белнапом [122]; здесь значения истинности формул задаются только в виде валентностей без какого-либо обращения к предметной области; игровые семантики, в частности, оперативная семантика П.Лоренцена [157], который рассматривает процесс установления истинности предложения как игру между пропонентом и оппонентом, диалоговые семантики на основе формализма бирешёток.
Развитие нетрадиционных логических семантик в середине XX-го века началось с критики двух главных принципов классической логической семантики – принципа бивалентости T(p) F(p) и принципа однозначности T={T}, F={F}, где p – предложение, которое характеризуется двумя истинностными значениями: T – истина или F – ложь, причем эти значения суть одноточечные множества.
Поскольку в классической логике понятия ложности и отрицания являются взаимозаменяемыми ( p означает F(p)), легко заметить, что в ней также справедлив принцип дополнительности T(p) + F(p) = 1.
В общем случае, будем представлять истинностное суждение в виде пары: p, v(p), где pÎP, P – множество предложений, а v:P®V, V – множество значений истинности.
Примерами нетрадиционных семантик, пригодными для представления процессов диалога, являются семантики Данна-Белнапа, аргументационные семантики, многомерные (векторные) семантики, теоретико-игровые семантики
2.7.1. Семантики Данна-Белнапа
Основная идея семантики Дж. Данна [132],[133] заключается в отказе от принципа однозначности с допущением истиннозначных провалов I = {} = «ни истина, ни ложь» и пресыщенных оценок истинности B = {T, F} = «и истина, и ложь». В первом случае оценки истинности и ложности понимают
как частичные, а во втором – как составные, амбивалентные.
В целом, речь идет о переходе от обычного множества значений истинности V (например, V2 = 2 = {T, F}) к множеству всех подмножеств 2V, задающему мультиоценку истинности (например, 2V2 = 4 = {T, B, I, F}).
Аналогично примерами естественных расширений принципа бивалентности служат: принцип тривалентности T(p) F(p) I(p) в трёхзначных семантиках (например, в семантике Клини), принцип тетравалентности T(p)F(p)B(p)I(p) в четырёхзначной семантике Данна-Белнапа и пр.
Дальнейшее обобщение подхода Данна-Белнапа заключается в переходе к множеству нечётких подмножеств значений истинности [0,1]V, множеству L-нечётких подмножеств (в смысле Дж.Гогена) значений истинности LV и т.д.