- •Московский энергетический институт (технический университет)
- •Модели, методы и программное обеспечение для уПравления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- •Диссертация на соискание ученой степени кандидата технических наук
- •Список основных сокращений
- •Глава 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
- •Выводы по четвертой главе
- •Заключение
- •Список литературы
- •Приложения
3.3.2. Вывод в четырехзначной диалоговой логике Ldmin
В предыдущем параграфе введена и описана четырехзначная диалоговая логика Ldmin, рассмотрены операции отрицания, конъюнкции, дизъюнкции, импликации и выявлены их свойства, также доказано, что система операций {¬2,¬3,1} образует базис данной логики. Однако, этого недостаточно для практического применения, необходим эффективный механизм вывода и, в первую очередь, определения общезначимости формулы в логике Ldmin.
Проверять общезначимость можно различными способами, например, наиболее просто способ проверки заключается в использовании простого перебора. Очевидно, это не самый оптимальный способ. В качестве альтернативы используем метод, основанный на аналитических таблицах.
Для начала введём следующие определения.
Определение 3.14. Пусть X есть конечное множество атомарных формул X = {a, b, c …}, тогда однозначное соответствие s: XLdmin называется сетапом, или единичным сетапом, здесь Lmin = {T,F,I,E}.
Определение 3.15. Формула F является выполнимой в логике Ldmin, если существует такой сетап s, при котором F принимает значение T.
Определение 3.16. Формула F является общезначимой в логике Ldmin, если на любом сетапе s, F принимает значение T.
Определение 3.17. Формула F является внутренне выполнимой в логике Ldmin, если существует такой сетап s, при котором F принимает значение T или I.
Определение 3.18. Формула F является внутренне общезначимой в логике Ldmin, если на любом сетапе s, F принимает значение T или I.
Определение 3.19. Формула F является внешне выполнимой в логике Ldmin, если существует такой сетап s, при котором F принимает значение T или E.
Определение 3.20. Формула F является внешне общезначимой в логике Ldmin, если на любом сетапе s, F принимает значение T или E.
Очевидно, что формула общезначима тогда и только тогда, когда она общезначима и внутренне и внешне. Однако, и внешняя и внутренняя выполнимость формулы не гарантируют ее общую выполнимость.
Существует два варианта вывода на базе аналитических таблиц: с использованием означенных формул и без них. В диссертации используется вариант с использованием означенных формул.
Определение 3.21. Означенная формула – это запись вида FX, TX, IX или EX, где X - формула.
В классическом методе аналитических таблиц TX читается как “X – истина”, а FX “X – ложь”. Аналитическая таблица – это дерево с означенными формулами в качестве подписей в узлах дерева. В корне дерева находится исходная означенная формула. Ветви дерева получаются декомпозицией формулы, выполняемой по определенным правилам.
В классической логике если формула X выводима (общезначима), то она не может быть ложью. При доказательстве формулы табличным способом первоначально формула X отвергается. Для того, чтобы доказать некоторую формулу X, ей приписывается ложное значение (FX), после чего строится дерева вывода для FX с целью получить противоречие. Если противоречие получено, формула X считается доказанной. Критерием противоречия является замкнутость дерева вывода. Ветвь дерева называется замкнутой, если она содержит одновременно FA и TA, где A – некоторая подформула исходной формулы X. Если все ветви дерева формулы FX являются замкнутыми, то дерево вывода является замкнутым.
В методе аналитических таблиц для классической логики применяются следующие правила построения подветок: если встречается T(XY), то образуется два новых элемента ветви TX и TY. В случае, если встречается F(XY), ветвь расщепляется на две, в одной из которых добавляется FX, в другой FY.
При построении метода вывода на базе аналитических таблиц для четырехзначных логик важно определить способ означивания формул и дать критерий замкнутости дерева вывода.
Определение 3.22. Дерево вывода означенной формулы X, это граф (G,V) связностью 1, каждая вершина которого помечена означенной формулой, таким образом, что потомками каждой вершины являются вершины, помеченные формулами получающимися при декомпозиции означенной формулы, находящийся в вершине дерева.
Означенная формула Y является декомпозицией означенной формулы Х, YX, тогда и только тогда когда получена из Х при помощи правил декомпозиции. Существует четыре типа правил: -правила, -правила, -правила и -правила аналогичные правилам для логики Белнапа, предложенным Фиттингом (см.[140]).
|
|
|
|
|
|
|
|||||
1 |
|
1 |
|
1 |
3 |
4 |
|
1 |
3 |
5 |
6 |
|
|
2 |
|
2 |
1 |
2 |
|
2 |
4 |
|
|
|
1 |
|
|
1 |
|
|
1 |
2 |
T¬2X |
TX |
|
T4X |
IX |
|
F X1Y |
FX |
FY |
I¬2X |
EX |
|
I4X |
TX |
|
|
|
|
E¬2X |
IX |
|
E4X |
FX |
|
|
|
|
F¬2X |
FX |
|
F4X |
EX |
|
|
|
|
|
1 |
2 |
3 |
4 |
I X1Y |
IX |
IY |
FY |
FX |
E X1Y |
EX |
EY |
FY |
FX |
|
1 |
2 |
3 |
4 |
5 |
6 |
T X1Y |
IX |
EY |
EX |
IY |
TX |
TY |
Рис 3.3. Правила декомпозиции базисных функций в логике Ldmin
Так как операции {¬2, 4,1} образуют базис в Ldmin, то набор приведенных выше правил достаточен для декомпозиции произвольной формулы Ldmin. Для удобства использования можно аналогичным образом построить правила вывода для производных операций (см. рис 3.4).
|
1 |
|
|
1 |
|
|
1 |
2 |
T1X |
FX |
|
T5X |
EX |
|
T X1Y |
TX |
TY |
I1X |
EX |
|
I5X |
FX |
|
E X2Y |
EX |
EY |
E1X |
IX |
|
E5X |
TX |
|
I X2Y |
IX |
IY |
F1X |
TX |
|
F5X |
IX |
|
F X1Y |
TX |
FY |
|
1 |
2 |
3 |
4 |
I X1Y |
IX |
IY |
TY |
TX |
E X1Y |
EX |
EY |
TY |
TX |
T X2Y |
TX |
TY |
EY |
EX |
F X2Y |
FX |
FY |
EY |
EX |
T X2Y |
TX |
TY |
IY |
IX |
F X2Y |
FX |
FY |
IY |
IX |
E X1Y |
IX |
EY |
FY |
TX |
I X1Y |
EX |
IY |
FY |
TX |
|
1 |
2 |
3 |
4 |
5 |
6 |
F X1Y |
IX |
EY |
EX |
IY |
FX |
FY |
I X2Y |
TX |
FY |
FX |
TY |
IX |
IY |
E X2Y |
TX |
FY |
FX |
TY |
EX |
EY |
T X1Y |
IX |
IY |
EX |
EY |
FX |
TY |
Рис 3.4. Правила декомпозиции производных функций в логике Ldmin
Определим отношение декомпозиции .
Пусть x и y – ППФ Ldmin, тогда xy тогда и только тогда когда:
или x соответствует , y соответствует 1, в -правиле,
или x соответствует , y соответствует 1, в -правиле,
или x соответствует 1, y соответствует 2, в -правиле,
или x соответствует , y соответствует 1, в -правиле,
или x соответствует , y соответствует 3, в -правиле,
или x соответствует , y соответствует 4, в -правиле,
или x соответствует 1, y соответствует 2, в -правиле,
или x соответствует 3, y соответствует 1, в -правиле,
или x соответствует 4, y соответствует 2, в -правиле.
Лемма 3.4 Для любой ППФ Ldmin существует дерево вывода.
Доказательство. Существует единственное правило декомпозиции (см. 3.3) для любой связки из множества {¬2, 4,1} и любого значения формулы, т.е. для любой означенной формулы вида D¬2F1, D4F1, DF11F2, где D{T,F,E,I}, F1,F2ППФ Ldmin, существует единственное правило декомпозиции, применив которое мы уменьшаем количество логических связок на 1, в конечном итоге неизбежно перейдем к атомарным формулам, которые не могут быть далее разложены по правилам декомпозиции, но которые выражают ограничения на значение соответствующих переменных.
Определение 3.23. Ветвь дерева вывода называется замкнутой, если в ней существуют две вершины, помеченные одинаковыми формулами, означенными различным образом.
Определение 3.24. Дерево вывода означенной формулы X, является замкнутым тогда и только тогда, когда каждая его ветвь замкнута.
Ветвь дерева вывода означенной формулы DX означает набор значений, которые должны принимать подформулы, чтобы формула принимала указанное значение. Причем, если из одной вершины выходит несколько ветвей, это означает, что возможны различные наборы значений подформул. Замкнутость ветви означает противоречивость требований, накладываемых на некоторую подформулу, которая должна одновременно принимать несколько различных значений. Замкнутость дерева вывода означенной формулы DX означает невозможность формулы принимать значение D.
В связи с этим, для определения возможных значений формулы необходимо построить деревья вывода для всех вариантов означивания и определить их замкнутость.
Таблица 3.10. Результаты вывода для формулы Х методом аналитических таблиц.
TX |
FX |
IX |
EX |
Результат |
не замкнуто |
замкнуто |
замкнуто |
замкнуто |
Х тождественно истинно (всегда принимает значение T) |
замкнуто |
не замкнуто |
замкнуто |
замкнуто |
Х тождественно ложно (всегда принимает значение F) |
замкнуто |
замкнуто |
не замкнуто |
замкнуто |
Х тождественно внутренне истинно (всегда принимает значение I) |
замкнуто |
замкнуто |
замкнуто |
не замкнуто |
Х тождественно внешне истинно (всегда принимает значение E) |
не замкнуто |
не замкнуто |
замкнуто |
замкнуто |
Х тождественно согласно (всегда принимает значение T или F) |
замкнуто |
замкнуто |
не замкнуто |
не замкнуто |
Х тождественно спорно (всегда принимает значение I или E) |
не замкнуто |
замкнуто |
не замкнуто |
замкнуто |
Х тождественно истинно для первого агента (всегда принимает значение T или I) |
не замкнуто |
замкнуто |
замкнуто |
не замкнуто |
Х тождественно истинно для второго агента (всегда принимает значение T или E) |
замкнуто |
не замкнуто |
замкнуто |
не замкнуто |
Х тождественно ложно для первого агента (всегда принимает значение F или E) |
замкнуто |
не замкнуто |
не замкнуто |
замкнуто |
Х тождественно ложно для второго агента (всегда принимает значение F или I) |
не замкнуто |
не замкнуто |
не замкнуто |
не замкнуто |
Х полностью неопределенно (может принимать любые значения) |
замкнуто |
не замкнуто |
не замкнуто |
не замкнуто |
Х частично неопределенно (X не может принимать значение T) |
не замкнуто |
замкнуто |
не замкнуто |
не замкнуто |
Х частично неопределенно (X не может принимать значение F) |
не замкнуто |
не замкнуто |
замкнуто |
не замкнуто |
Х частично неопределенно (X не может принимать значение I) |
не замкнуто |
не замкнуто |
не замкнуто |
замкнуто |
Х частично неопределенно (X не может принимать значение E) |
Приведем пример вывода при помощи аналитических таблиц в Ldmin. Пусть дана формула é4A Ú1¬2é4¬2A, докажем что она является тавтологией.
Рис 3.5. Пример вывода при помощи аналитических таблиц в Ldmin.
Как видим на рис 3.5, все деревья для означиваний F, E и I являются замкнутыми. Следовательно, формула é4A Ú1¬2é4¬2A может принимать только значение T, т.е. é4A Ú1¬2é4¬2A – тождественно истинна.