- •Московский энергетический институт (технический университет)
- •Модели, методы и программное обеспечение для уПравления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- •Диссертация на соискание ученой степени кандидата технических наук
- •Список основных сокращений
- •Глава 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.5. Теоретико-игровые модели диалога
2.5.1 Подход Хинтикки
Я.Хинтикка [153],[154] рассматривает процесс познания как математическую игру (в смысле теории игр). Основные черты предлагаемого теоретико-игрового определения истины (ТИОИ) таковы:
-
В нём используется понятие выигрышной стратегии (а не победы в игре) — правила, определяющего, какой ход должен сделать игрок в каждой возможной игровой ситуации для того, чтобы достичь победы вне зависимости от того, какую стратегию изберет соперник.
-
Оно не сводится к формальным (но интерпретированным) первопорядковым языкам. Хотя в естественных языках кванторы ведут себя иначе, чем в них, ТИОИ может быть распространено на них, как и на другие логические языки.
-
Теоретико-игровая интерпретация кванторов используется во всех случаях, когда неприменимо тарскианское определение истины.
-
ТИОИ дает условия истинности первопорядковых предложений, формулируя их в терминах игровых стратегий, которые сами приводимы к логическому анализу и формулировке в логических терминах (функции Сколема).
-
Собственно понятие истины является при теоретико-игровом подходе вспомогательным, поскольку при нем определяется значение квантифицированных предложений путем определения их условий истинности. Следует различать игры на поиск истины (truth - seeking games ) (т.е. эпистемические игры) и игры на установление (или верификацию) истины ( truth - establishing games ) (т.е. семантические игры), где условия истинности в определенном смысле даны заранее.
ТИОИ демонстрирует сильные и слабые стороны прагматической концепции истины: верно то, что истина не может заключаться в независимо существующих отношениях корреспонденции между языком и миром. Таких отношений, по мнению Хинтикки, не существует: они могут лишь устанавливаться путем использования языка, т.е. семантическими играми. Однако неприемлемо прагматическое требование, согласно которому релевантными являются те действия, с помощью которых мы обнаруживаем, что является истинным. Такое требование связано с неразличением игр на установление истины и на поиск истины, и непониманием того, что последние не являются конститутивными для понятия истины.
2.5.2. Оперативная семантика п.Лоренцена
Лоренцен [157] рассматривает процесс установления истинности предложения как некоторую игру между пропонентом и оппонентам. Технически оперативная семантика подобна семантическим таблицам Бета, но идейно учитывается диалогический характер игры и социальный характер познания.
Основная идея диалогового подхода П.Лоренцена заключается в том, что смысл логических операторов или кванторов определяется спецификацией того, как может быть построен формальный диалог относительно некоторого выражения, содержащего этот оператор или квантор в качестве основного.
С точки зрения П.Лоренцена, утверждение предложения имеет смысл, если имеется некто, кто отрицает или просто сомневается в данном предложении. Должны существовать точные соглашения о правилах диалога, определяющих смысл обсуждаемого оператора или квантора. В качестве основного вводится понятие диалогически-определенного предложения, означающее, что возможные диалоги относительно этого предложения заканчиваются после конечного числа шагов, осуществляемых согласно некоторым предварительно обусловленным и эффективно приложимым правилам таким, что в конце концов может быть решено, кто выиграл и кто проиграл. В этом смысле диалог может быть интерпретирован как игра.
Диалогически-определенные предложения противопоставляются в определённом смысле истинностно-определенным и доказуемостно-определённым. Под первыми понимаются предложения, которым произвольно приписывается одно из истинностных значений – «истинно» или «ложно» (в двузначной логике): предложения (атомарные) являются истинными или ложными «сами по себе». Однако не все предложения таковы: имеются и такие, которые невозможно определить с точки зрения истинности. В этом случае можно попытаться (как, скажем, в арифметике) доказать это предложение при наличии метода, позволяющего относительно каждой попытки доказательства сказать, является оно доказательством или нет. Это и характеризуется с помощью понятия доказуемостно-определимого предложения.
Диалоговый подход Лоренцена ориентирован на семантический анализ истинности в аспекте диспута. Это затрудняет его применения в случае рассмотрения диалога не как спора, но как процесса переговоров. Иными словами, аргументационные семантики не годятся для описания процессов согласования и кооперации.