Модели, методы и программное обеспечение для управления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Смагин, Степан Викторович

• Смагин, Степан Викторович
• кандидат технических наук
• 2008

Оглавление диссертации кандидат технических наук Смагин, Степан Викторович

Список основных сокращений.

Введение.

Глава 1. Программные системы поддержки отношений с клиентами и поставщиками в электронном бизнесе.

1.1. Классификация систем электронной коммерции, CRM и SRM-системы.

1.2. Основные принципы построения современных систем класса CRM и SRM.

1.3. Агентно-ориентированный подход к построению RM-систем.

1.4. Проблемы организации взаимодействия между агентами в MAC.

Выводы по первой главе.

Глава 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. Вывод в четырехзначной диалоговой логике ЪЛпт.

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.

4.4 RM-система управления взаимодействием с поставщиками и заказчиками.:.

Выводы по четвертой главе.

Введение диссертации (часть автореферата) на тему «Модели, методы и программное обеспечение для управления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик»

Актуальность темы исследований. В современном бизнесе набирают силу тенденции клиентоцентризма, заключающиеся в развитии индивидуального подхода к клиенту. Эти тенденции объясняют необходимость построения новых средств математического и программного обеспечения вычислительных комплексов и компьютерных сетей, используемых в бизнесе, в частности, разработки программных систем управления взаимодействиями предприятиями с клиентами (CRM) и поставщиками (SRM). Такие системы должны позволять не только уметь выполнять базовые запросы клиентов, но также замещать менеджера по работе с клиентами в случае, если требования клиентов носят нечеткий характер. В идеале, система должна выполнять любые запросы в автоматическом режиме, допуская вмешательство оператора лишь в наиболее критических или особо важных для бизнеса ситуациях.

В диссертации предлагается использовать агентно-ориентированный подход к разработке и внедрению систем класса CRM и SRM (RM-систем).

Целесообразность применения агентно-ориентированного подхода обуславливается характером задач, решаемых в рамках таких систем, а также высокой степенью эффективности при построении масштабируемых систем и систем, поддерживающих автоматическое решение нетиповых задач.

Задачи организации взаимодействия и ведения диалога с клиентами или поставщиками предполагают активное участие различных программных подсистем предприятия, таких как Billing (финансовая подсистема), ERP

Enterprise Resource Planning - подсистема планирования ресурсов), производство, продажи и других. Их интеграция в единое целое сама по себе представляет нетривиальную задачу, решаемую на практике методами восходящего проектирования, проблемы применения которых при построении крупных систем общеизвестны. Агентно-ориентированный подход позволяет избежать этих трудностей и при незначительных 5 дополнительных затратах реализовать систему, обладающую высокой степенью масштабирования и гибкости при решении нетривиальных задач.

Применение методов РИИ при построении таких систем позволяет получать интеллектуальные системы, наиболее точно представляющие нужды заказчика и способные функционировать в автономном режиме.

Центральной проблемой при разработке таких систем является организация диалога между агентами системы. В диссертации рассматриваются различные подходы к решению этого вопроса, в частности модели диалогового взаимодействия, основанные на протоколах коммуникации, автоматные модели, логические модели, диалоговые игры и др. В результате анализа различных вариантов, автор приходит к выводу, что необходимо построение новой модели диалогового взаимодействия, основанной на использовании многозначных и многомерных логик диалога. Одним из основных результатов диссертационной работы является разработка специальных диалоговых логик, пригодных для моделирования диалога между агентами в многоагентных системах.

Среди наиболее известных работ в области теории агентов и многоагентных систем следует отметить публикации К.Хьюитта, М.Вулдриджа, И.Демазо, Н.Дженнингса, Д.Клини, П.Маэс, Ж.Фербе, И.Шоэма, В.И.Городецкого, И.В.Котенко, Д.А.Поспелова, П.О.Скобелева, А.В.Смирнова, В.Б.Тарасова, В.Ф.Хорошевского и др.

Поддержка управления взаимодействием включает в себя в качестве подзадачи элементы принятия решений. Общие проблемы построения систем поддержки принятия решений рассмотрены в монографиях О.М.Ларичева,

A.И.Тихонова и В.Я.Цветкова, Э.А.Трахтенгерца и др., а конкретные примеры разработки таких систем даны в работах А.А.Башлыкова,

B.Н.Вагина, А.П.Еремеева, И.Б.Фоминых и др.

В работе используется логический аппарат моделирования диалога в RM-системах, опирающийся на методы многозначной логики (логическую семантику Данна-Белнапа, логические матрицы Тарского-Лукасевича, вывод по аналитическим таблицам Смаллиана). Большой вклад в развитие многозначных логик внесли Я. Лукасевич, Ч.Пирс, Э. Пост, Д.А. Бочвар, X. фон Вригт, А. Гейтинг, С.К. Клини, Р.Мак-Нотон, Н. Решер, Н. Белнап, М.Гинсберг, М.Фиттинг, А.В.Кузнецов, С.В.Яблонский, В.К. Финн, О.М.Аншаков, А.С.Карпенко, и др. Логическим средствам в ИИ посвящены монографии В.Н.Вагина с сотр., Дж.Минкера, А.Тейза и др., Э.Тернера, а логическим подходам к разработке автономных агентов и многоагентных систем — работы Дж.Аллена, М.К.Валиева, М.Дженесерета, М.Джорджефа, К.Конолиге, П.Коэна, А.Левека, Дж.Мозеса, А.Рао, Г.С.Плесневича, В.Б.Тарасова, Р.Фагина, Дж.Халперна, и др.

Объектом исследования являются распределённые системы управления взаимодействием с поставщиками и заказчиками, разрабатываемые как многоагентные системы (MAC).

Предмет исследования составляют методы представления взаимодействий (диалога) между агентами на основе многозначных логик, а также модели мнений и оценок автономных агентов.

Целью диссертационной работы является разработка моделей, методов и программного обеспечения для поддержки управления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и многозначных диалоговых логик.

Отличительной особенностью предлагаемого подхода является реализация требований открытости и распределенности системы, примеиение логических методов искусственного интеллекта при организации диалога внутри системы, а также межсистемного взаимодействия, и эффективная обработка неопределённостей и разрешение возникающих конфликтов.

В диссертационной работе решаются следующие основные задачи:

1) обоснование целесообразности разработки интегрированной системы управления взаимодействием с поставщиками и заказчиками и её построение как системы с распределенной архитектурой;

2) разработка агентно-ориентированного подхода к построению Е1М-систем, включая разработку конкретной мпогоагентной архитектуры для ЛМ-системы, построение архитектуры и программная реализация отдельных агентов;

3) анализ методов моделирования диалога между агентами системы с целью построения автоматных моделей и систем, основанных на правилах и протоколах взаимодействия;

4) построение логик диалога на основе декартова произведения логик агентов-участников диалога и новых операций смешивания;

5) исследование функциональной полноты диалоговых логик и разработка методов вывода на них;

6) построение методов представления знаний, мнений и целей агентов на языке диалоговой логики, а. также алгоритмов вывода, поиска сопрягаемых ветвей, формирования списка соглашений и поиска оптимального соглашения;

7) анализ основных методологий построения агентно-ориентированных приложений и формулировка универсального методологического подхода к построению агентно-ориентированных систем на базе диалоговых логик;

8) разработка программной архитектуры ЯМ-систем, разработка и внедрение агентно-ориентированной системы, основанной на взаимодействии с заказчиками и поставщиками.

Методы исследования. В диссертации использованы методы теории множеств и теории алгоритмов, теории решёток и бирешёток, математической логики и теории программирования, теории агентов и многоагентных систем.

Достоверность научных результатов подтверждена теоретическими выкладками, данными компьютерного моделирования, а также сравнением полученных результатов с результатами, приведёнными в научной литературе, положительными результатами внедрения разработанной системы взаимодействия предприятия с поставщиками и заказчиками.

Научная новизна работы заключается в разработке логико-математического аппарата для представления диалогового взаимодействия в MAC, формализации модальных оценок и разрешения конфликтов в многоагентной системе на базе произведения логик.

Новыми в диссертации являются:

1) модель распределённой открытой системы управления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода;

2) логико-математический аппарат описания диалога на основе диалогового произведения логик;

3) механизм комбинированного вывода на базе аналитических таблиц для логик диалога, построенных как диалоговое произведение многозначных логик или нечётких логик;

4) универсальный методологический подход к построению агентно-ориентированных систем на базе диалоговых логик.

Практическая значимость работы определяется широким распространением систем класса CRM и SRM и связана с разработкой методов, алгоритмов и программных средств поддержки управления взаимодействием с поставщиком и заказчиком. Она подтверждается результатами использования предложенных моделей и методов в агентно-ориентированной системе взаимодействия с заказчиками и поставщиками, а также пятью свидетельствами об отраслевой регистрации ОФАП. Применение предложенной в работе распределенной агентно-ориентированной архитектуры позволило повысить скорость и качество работы с запросами клиентов, повысило уровень автоматизации взаимодействия с другими подсистемами и регионами. Практическая ценность разработанных моделей представления диалога как диалогового произведения и методов комбинированного вывода на базе аналитических таблиц, заключается в том, что их применение возможно не только в ЯМ-системах, но и в других распределенных многоагентных системах при формализации диалога и разрешении возникающих конфликтов.

Реализация результатов. Автором разработана агентно-ориентированная система \¥еЬ-магазина, которая представляет собой открытую распределенную систему управления взаимодействием с поставщиками и заказчиками.

Основные результаты диссертации были получены при выполнении работ по грантам Российского фонда фундаментальных исследований №0401-00306 и №07-01-00656. Результаты работы были использованы в учебном процессе кафедры прикладной математики Московского энергетического института (технического университета), кафедры «Компьютерные системы автоматизации производства» МГТУ им.Н.Э.Баумана, а также Института информационных технологий, экономики и менеджмента. Акты о внедрении и использовании результатов работы прилагаются в диссертации. По основным положениям и результатам диссертации были сделаны восемь докладов на научных конференциях. Основные результаты, полученные при выполнении диссертационной работы, опубликованы в 12 печатных работах, из них 2 статьи в журналах, рекомендованных ВАК.

На защиту выносятся:

1) агентно-ориентированная архитектура распределённой открытой системы управления взаимодействиями с поставщиками и заказчиками;

2) диалоговая решётка D4 и минимальнозначная логика Ldmin для работы с диалогами двух агентов;

3) диалоговое произведение логик, опирающееся на их декартово произведение и операции смешивания, как основа моделирования сложных диалоговых взаимодействий;

4) логика Lp8 для представления модальностей мнений агентов, участвующих в диалоге;

5) метод комбинированного вывода на диалоговом произведении многозначных и нечетких логик;

6) методология проектирования диалога агентов в агентно-ориентированных системах на базе диалоговых логик.

Структура работы.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Смагин, Степан Викторович

Выводы по четвертой главе

Следующие основные результаты, были получены в четвертой главе:

• Разработаны методы представления знаний, мнений и целей агентов на языке диалоговой логики.

• Разработаны алгоритмы вывода, поиска сопрягаемых ветвей, формирования списка соглашений, а также поиска оптимального соглашения.

• Проведён анализ основных методологий построения агентно-ориентированных приложений и сформулирован универсальный методологический подход к построению агентно-ориентированных систем на базе диалоговых логик.

• Разработана программная архитектура \¥еЬ-системы взаимодействия с поставщиками и заказчиками на основе агентно-ориентированного подхода.

• Приведены примеры использования диалоговой логики в построенной системе взаимодействия с поставщиками и заказчиками.

Заключение

В диссертации было проведено исследование систем управления взаимодействием с поставщиками и заказчиками, в ходе которого были выявлены недостатки современных систем и предложен подход к их устранению при помощи методов теории агентов и многоагентных систем.

Основным направлением исследований при построении агентно-ориентированной системы было построение моделей диалога и переговоров, применение которых позволит организовать автоматическое выполнение нетиповых запросов в ходе взаимодействия с поставщиком или заказчиком. Был разработан механизм осуществления взаимодействия, разработана концепция диалоговых логик и построены многозначные диалоговые логики, позволяющие достаточно адекватно проводить сложные диалоги и переговоры в системе.

В результате применения диалоговых логик удалось достичь высокой степени автоматизации системы, её хорошей масштабируемости как по ресурсам, так и по количеству запросов.

Основными результатами данной диссертации стали:

• разработка агентно-ориентированного подхода к построению ЯМ-систем;

• разработка концепции построения многозначных и нечётких диалоговых логик и методов работы с ними, включающих представление знаний, мнений и целей на языке диалоговой логики, а также вывода в них;

• разработка моделей диалога и переговоров агентов с использованием диалоговых логик, позволяющих проведение переговоров между агентами и достижение соглашений, а также

169 аналитическое исследование и улучшение этих процессов при помощи установки правил и целей переговоров;

• разработка методики построения агентно-ориентированных приложений, использующих диалоговые логики;

• построение агентно-ориентированного программного комплекса для взаимодействия с поставщиками и заказчиками предприятия с использованием диалоговых логик при переговорах агентов.

В'диссертационной работе решены следующие основные задачи:

1. обоснование целесообразности разработки интегрированной системы управления взаимодействием с поставщиками и заказчиками и её построение как системы с распределённой архитектурой;

2. разработка агентно-ориентированного подхода к построению систем ЯМ-систем, включая разработку конкретной многоагентной архитектуры для ЯМ-системы, построение архитектуры и реализация отдельных агентов;

3. анализ методов моделирования диалога между агентами системы, построение автоматных моделей и систем, основанных на правилах и протоколах взаимодействия;

4. построение логик диалога как диалогового произведения логик агентов-участников диалога;

5. исследование функциональной полноты и разработка методов вывода на диалоговом произведении логик;

6. построение методов представления знаний, мнений и целей агентов на языке диалоговой логики, а также алгоритмов вывода, поиска сопрягаемых ветвей, формирования списка соглашений и поиска оптимального соглашения;

7. анализ основных методологий построения агентно-ориентированных приложений и формулировка универсального методологического подход к построению агентно-ориентированных систем на базе диалоговых логик;

8. разработка программной архитектуры ЫМ-систем, разработка и внедрение агентно-ориентированной шеЬ-системы, основанной на взаимодействии с заказчиками и поставщиками.

Разработанные автором модели и методы применены для решения задачи построения распределённых систем управлением взаимодействием с поставщиками и заказчиками. Эффективность алгоритмов, использованных в работе, подтверждена пятью свидетельствами отраслевой регистрации отраслевого фонда алгоритмов и программ федерального агентства по образованию (№9382 от 19.11.2007, №9631 от 11.01.2008, №9242 от 22.10.2007, №8154 от 19.04.2007 и №7922 от 19.04.2007) и результатами внедрения системы управления взаимодействием с поставщиками и заказчиками.

Основным направлением дальнейшего исследования, по мнению автора, является дальнейшее совершенствование аппарата диалоговых логик и применение его для решения задач в других предметных областях.

Список литературы диссертационного исследования кандидат технических наук Смагин, Степан Викторович, 2008 год

1. Андреев, В. Методы и средства создания открытых мультиагентных систем для поддержки процессов принятия решений / В. Андреев, В. А. Виттих, С. В. Батищев // Известия РАН. Теория и системы управления. -2003. -№1.- С. 126-137.

2. Аншаков О.М. ДСМ-метод и модификационные исчисления// Искусственный интеллект и принятие решений 2008. - №1. - С.55-79.

3. Аншаков О.М., Скворцов Д.П., Финн В.К. Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений// Логические исследования. Вып.1. М.: Наука, 1993. -С.222-247.

4. Аншина, М., История и будущее, понятие, внедрение, сопровождение CRM. http://crm.com.ua, 2004.

5. Аристотель. Собрание сочинений. М.: Мысль, 1976.

6. Аршинский Л.В. Векторные логики. Основания, концепции, модели. -Иркутск: ИркГУ, 2007.

7. Аршинский Л.В. О семантиках классической логики// Электронный журнал Logical Studies. М: ИЛКиРЛ, 2000. http://www.logic.ru/Russian/LogStud/05/ LS5.html

8. Ашманов С.А. Линейное программирование. М. «Наука», 1981

9. Бахтин М.М. Вопросы литературы и эстетики: Исследования разных лет. М.: Художественная литература, 1975.

10. Белнап Н., Стил Т. Логика вопросов и ответов: Пер. с англ./ Под ред. В.А. Смирнова, В.К. Финна. -М.: Прогресс 1981.

11. Библер B.C. От наукоучения — к логике культуры. Два философских введения в двадцать первый век, М.: Политиздат, 1991.

12. Биркгоф Г. Теория решеток: Пер. с англ. М: Наука, 1984.

13. Блинов A.JI. Семантические игры со случайными ходами// Логические исследования. Вып.З. М.: Наука, 1995. - С.257-276.

14. Блинов А.Л., Петров В.В. Элементы логики действий. — М.: Наука, 1991.

15. Борисов A.B., Тарасов В.Б. Моделирование мнений агентов в многоагентных системах на основе четырехзначных семантик// Программные продукты и системы 2006. - №2. - С.47-50.

16. Бочвар Д.А., Финн В.К. Некоторые дополнения к статьям о многозначных логиках. // Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976. - С.265-325.

17. Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий. // Исследования по математической лингвистике, математической логике и информационным языкам. М. Наука, 1972. - С.238-295.

18. Вагин В.Н. Знание в интеллектуальных системах. // Новости искусственного интеллекта. 2002. - № 6. - С. 8-18.

19. Вагин В.Н., Головина Е.Ю., Загорянская A.A., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. М. ФИЗМАТЛИТ, 2004.

20. Васильев H.A. Воображаемая логика. М.: Наука, 1989.

21. Виноградов Д.В. Еще один вариант логики аргументации// Научно-техническая информация. Серия 2. Информационные процессы и системы. 2006. - №5. - С. 1 -4.

22. Виноградов Д.В. Метод семантических таблиц для логики аргументации// Научно-техническая информация. Серия 2. Информационные процессы и системы. 2006. -№11.- С. 17-20.

23. Виньков М.М. Аргументационная семантика для шаговых теорий активной логики. // Труды 10-й национальной конференции по искусственному интеллекту КИИ-2006 (Обнинск, 25-28 сентября 2006 г.). М.: Физматлит, 2006. - Т.1. - С.ЗЗ 1-338.

24. Витгенштейн Л. Избранные труды. М.: Гнозис, 1994.

25. Виттих В.А.,Скобелев П.О. Мультиагентные модели взаимодействий для построения сетей потребностей и возможностей в открытых системах // Автоматика и телемеханика. 2003. - № 1. - С. 177-185.

26. Вригт фон Г.Х. Логико-философские исследования. Избранные труды: Пер. с англ. М.: Прогресс, 1986.

27. Вулкан Н. Электронная коммерция стратегическое руководство. -Москва: Интернет Трейдинг, 2003.

28. Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика. М.: Наука, Физматлит, 2000.

29. Городецкий В.И., Грушинский М.С., Хабалов A.B. Многоагентные системы(обзор). // Новости искусственного интеллекта—1998.—№2 — С.64-116.

30. Горский Ю.М. Основы гомеостатики. Гармония и дисгармония живых, природных, социальных искусственных систем. Иркутск:ИГЭА, 1998.

31. Гретцер Г. Общая теория решеток: Пер. с англ. / Под ред. Д.М. Смирнова. М.: Мир, 1981.

32. Грифцова И.Н. Логика как теоретическая и практическая дисциплина. К вопросу о соотношении формальной и неформальной логики. М. Эдиториал УРСС, 1998.

33. Дзегеленок И.И. Логика поиска проектных решений. М.: Изд-во МЭИ, 1984.

34. Емельянов В.В., Курейчик В.М., Курейчик В.В. Теория и практика эволюционного моделирования. -М.: Физматлит, 2003.

35. Еремеев А.П., Троицкий В.В. Концепции и модели представления времени и их применение в интеллектуальных системах// Новости искусственного интеллекта. — 2004. №1. - С.6-29.

36. Заде Л.А. Роль мягких вычислений и нечеткой логики в понимании, конструировании и развитии информационных/интеллектуальных систем. Новости Искусственного Интеллекта, №2-3, 2001, с. 7 - 11.

37. Ивин А. А., Никифоров А. Л. Словарь по логике. М.: ВЛАДОС, 1997.

38. Ивин A.A. Логика норм. М.: МГУ, 1973.

39. Ивин A.A. Основы теории аргументации. М.: ВЛАДОС, 1997.

40. Информатизация бизнеса// А.М.Карминский, С.А.Карминский, В.П.Нестеров, Б.В.Черников. — М.: Финансы и статистика, 2004.

41. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о пространстве и времени в системах искусственного интеллекта. М.: Наука, 1988.

42. Карпенко A.C. Логика на рубеже тысячелетий// Логические исследования. Вып.7. М.: Наука, 2000. - С.8-60.

43. Карпенко A.C. Многозначные логики. M.: Наука, 1997.

44. Карпенко A.C. Современные исследования в философской логике// Логические исследования. Вып. 5. М.: Наука, 1998. - С.7-18.

45. Клини С. К. Введение в метаматематику: Пер. с англ. М.: Изд. ИЛ. 1957.

46. Кобозева И.М. Лингвистическая семантика. М.: Эдиториал УРСС, 2000.

47. Компьютерная поддержка сложных организационно-технических систем/ В.В.Борисов, И.А.Бычков, А.В.Дементьев и др. М.: Горячая линия - Телеком, 2002.

48. Котенко И.В., Уланов А. В. Многоагентное моделирование защиты информационных ресурсов в сети Интернет // Известия РАН. Теория и системы управления. 2007. — №5. - С. 74-88.

49. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат, 1980.

50. Кутепов В.П., Фальк В.Н. Направленные отношения: теория и приложения// Известия РАН: Техническая кибернетика.-1994.-№ 4-С.242-256; №5-С. 114-123.

51. Логико-философские труды В.А.Смирнова. М.: Эдиториал УРСС, 2001.

52. Лотман Ю.М. Семиосфера. Санкт-Петербург: Искусство-СПб, 2000.

53. Лукасевич Я. О детерминизме // Логические исследования. Вып.2. — М.: Наука, 1993.-С. 190-205.

54. Митрошенков JT.А. Эффективные переговоры. М.: ИНФРА-М, 2003.

55. Непейвода H.H. Прикладная логика. Новосибирск: Изд-во НГУ, 2000.

56. Нечеткие гибридные системы. Теория и практика/ И.З.Батыршин, А.О.Недосекин, А.А.Стецко, В.Б.Тарасов, А.В.Язенин, Н.Г.Ярушкина/ Под ред. Н.Г.Ярушкиной. М.: Физматлит, 2007.

57. Новак В., Перфильева И.Г., Мочкорж И. Математические принципы нечеткой логики: Пер. с англ. М.: Физматлит, 2006.

58. Осипов Г.С. Приобретение знаний интеллектуальными системами. -М.: Наука, 1997.

59. Остин Д. Избранное. М.: Идея-Пресс, 1999.

60. Остин Д. Слово как действие // Новое в зарубежной лингвистике, вып XVII: Теория речевых актов. М., 1986.

61. Павлов С.А. Классификация трех- и четырехзначных логик в рамках логики ложности FL4 // Логические исследования. Вып.З М.: Наука, 1995 - С.98-122.

62. Плесневич Г.С. Метод аналитических таблиц для нахождения оценок в логике Заде// Труды 11 -й национальной конференции по искусственному интеллекту КИИ-2008 (Дубна, 28 сентября-3 октября 2008 г.). Т.З. М.: Ленанд, 2008. - С.249-259.

63. Плесневич Г.С., Авдошин С.М., Тарасов В.Б. Концептуальная спецификация многоагентных систем (часть 1) // Информационные технологии. 2002. - №12. - С.25-35.

64. Попов Э. В. Общение с базами данных на ограниченном естественном языке: прошлое, настоящее, будущее// Новости искусственного интеллекта. 2002. - №1. - С.21-26.

65. Попов Э.В. Общение с ЭВМ на естественном языке. 2-е изд. М.: Едиториал УРСС, 2004.

66. Поспелов Д.А. От коллектива автоматов к мультиагентным системам// Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (ОА1МА8'97, Санкт-Петербург, Россия, 15-18 июня 1997).-С.319-325.

67. Поспелов Д.А. Многоагентные системы настоящее и будущее// Информационные технологии и вычислительные системы. - 1998. -№1.-С. 14-21.

68. Рыбина Г.В., Петухов Д.М. Модель взаимодействия интеллектуальных агентов// Труды Международной научно-практической конференции «Знание диалог - решение». Т.2 (К1)8-2001, Санкт-Петербург, 19-22 июня 2001 г.). - СПб: Лань, 2001,- С.548-553.

69. Саати Т. Целочисленные методы оптимизации и связанные с ними экстремальные проблемы. — М.: Мир, 1973

70. Светлов В.А. Практическая логика. СПб: Росток, 2003.

71. Скобелев П.О. Теоретические основы создания открытых мультиагентных систем для оперативной обработки информации в процессах принятия решений // Проблемы управления и моделирования в сложных системах. Труды У-й Международной конференции

72. Самара, 17-21 июня 2003 г.). Самара: СНЦ РАН. ИПУСС РАН, 2003.- С.295-303.

73. Скрипник К.Д. Логические модели диалога. Ростов-на-Дону: РГУ, 2001.

74. Смагин C.B. Агентно-ориентированный подход к построению систем класса CRM и SRM. // Труды XVII международного научно-технического семинара. Алушта - СПб.:ГУАП, 2008. - С.236-237.

75. Смагин C.B. Анализ возможностей библиотеки BeeGent как средства построения агентно-ориентированных приложений // Информационная математика научно-технический журнал №1(5)2005. М.:АСТ-физматлит, 2005. С. 155-165.

76. Смагин C.B. Инфраструктура взаимодействий агентов для интернет магазина // Труды XIV международного научно-технического семинара. Алушта - Самара: Самарский государственный аэрокосмический университет, 2005.- с.71.

77. Смагин C.B. Исследование и моделирование взаимодействия и самоорганизации агентов на виртуальном предприятии. Магистерская диссертация. М.: МЭИ, 2005.

78. Смагин C.B. Построение BDI-модели на основе многозначных логик. // Труды XVI Международного научно-технического семинара. Алушта- Тула:ТулГУ. 2007.

79. Смагин C.B., Тарасов В.Б. Моделирование рефлексивных рассуждений агента на основе нетрадиционных логик. // Труды XV международного научно-технического семинара. Алушта - М.:МИФИ, 2006 - с.275.

80. Смагин C.B., Тарасов В.Б. Некоторые аспекты моделирования взаимодействий агентов. // Труды XIII международного научно-технического семинара. Алушта - М.:МГУ, 2004. - т. 1. - с.25-26.

81. Смирнов А.В., Шереметов Л.Б. Многоагентная технология проектирования сложных систем. Ч. 1// Автоматизация проектирования.-1998.-№3. 4.2// Автоматизация проектирования. -1999. № 1. - С.42-46.

82. Смирнов С.Н. Электронный бизнес. М.: ДМК пресс, 2003.

83. Смирнова Е.Д. Вопросы семантики паранепротиворечивых логик// Logical Studies. 1999. - №2.

84. Смирнова Е.Д. Логическая семантика и философские основания логики. М.: МГУ, 1986.

85. Стефанюк В.Л. Локальная организация интеллектуальных систем. — М.: Физматлит, 2004.

86. Стефанюк В.Л. От многоагентных систем к коллективному поведению// Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (DAIMAS'97, Санкт-Петербург, 15-18 июня 1997). С.327-338.

87. Таран Т.А. О разрешении конфликтов в многоагентных системах на основе аргументации// Искусственный интеллект (Доценк, Украина). -1997 № 1 -2. - С.36-50.

88. Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственном интеллекте // Новости искусственного интеллекта. -1998.-№ 2. С.5-63.

89. Тарасов В.Б. Искусственная жизнь и нечеткие эволютдишнные многоагентные системы основные теоретические подходы к посторению интеллектуальных организаций // Известия РАН: Теория и системы управления. - 1998. - №5 - С. 12-23.

90. Тарасов В.Б. Нетрадиционные и гибридные логики в моделировании интеллектуальных агентов. I.Искусственные деятели, интенциональные характеристики и пути их моделирования// Известия РАН: Теория и системы управления. 2000. - №5. - С.5-17.

91. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, информатика. М. Эдиториал УРСС, 2002.

92. Тарасов В.Б. От алгебраической модели Тарского к логико-семиотической матрице// Труды 9-й национальной конференции по искусственному интеллекту КИИ-2004 (Тверь, 28 сентября-2 октября 2004 г.). М.: Физматлит, 2004. - Т. 1. - С.311 -322.

93. Тард Г. Социальная логика. Спб: СПЦ, 1996.

94. Тарский А. Введение в логику и методологию дедуктивных наук: Пер. с англ. Биробиджан: ИП Тривиум, 2000.

95. Тарский А. Понятие истины в языках дедуктивных наук. Философия и логика Львовско-Варшавской школы.- М.: РОССПЭН, 1999 С. 19-155.

96. Тейз А., Грибомон П., Юлен Г. и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных: Пер с франц. М: Мир, 1998.

97. Топорков B.B. Модели распределенных вычислений. М.: Физматлит, 2004.

98. Трахтенгерц Э.А. Компьютерная поддержка переговоров при согласовании управленческих решений. М.: СИНТЕГ, 2003.

99. Трахтенгерц Э.А. Многоагентные системы поддержки принятия решений// Теория и системы управления. 1998. - №5. - С. 106-122.

100. Финн В.К. Интеллектуальные системы и общество. М.: КомКнига, 2006

101. Финн В.К. Об интеллектуальном анализе данных // Новости искусственного интеллекта. 2004. - №3. - С. 3-18.

102. Финн В.К. Об одном варианте логики аргументации// Научно-техническая информация. Серия 2. Информационные процессы и системы. 1996. - №5-6. - С.3-19.

103. Финн В.К. Стандартные и нестандартные логики аргументации I // Логические исследования. Вып. 13. М.: Наука, 2006. - С. 157-189.

104. Фреге Г. Логика и логическая семантика. Сборник трудов. М.: Аспект Пресс, 2000.

105. Хинтикка, Я. Логико-эпистемологические исследования. М.: Прогресс, 1980.

106. Черкашин, П., Готовы ли Вы к войне за клиента? Москва, 2004 г.

107. Шрамко Я.В. Обобщенные истинностные значения: решетки и мультирешетки // Логические исследования. Вып.9. М.: Наука, 2002. - С.264-291.

108. Шрамко Я.В. Американский план для интуиционистской логики II: обобщенные интуиционистские модели// Logical Studies. 2000 — №5.

109. Шульц Д.П., Шульц С.Э. История современной психологии: Пер. С англ. СПб:Евразия, 1998.

110. Шуман А.Н. Современная логика: теория и практика. — Мн: Экономпресс, 2004.

111. Юрасов А.В. Электронная коммерция. М.: Дело, 2003.

112. Arieli О., Avron A. Reasoning with Logical Bilattices// Journal of Logic, Language and Information. 1996. - Vol.5, №1. - P.25-63.

113. Barth E.M., Krabbe E.C. From Axiom to Dialogue: Philosophical Study of Logics and Argumentation. Berlin: Walter de Gruyten, 3982.

114. Belnap N. A Useful Four-Valued Logic// Modern Uses of Multiple-Valued Logic/ Ed. by J.M.Dunn and G.Epstein. Dordrecht: D.Reidel, 1977. - P.8-37.

115. Bernhard Bauera, James Odell. UML 2.0 and agents: how to build agent-based systems with the new UML standard / Engineering Applications of Artificial Intelligence. 2005, Vol. 18, Issue 2. - P. 141-157.

116. Bole L., Borowik P. Many-Valued Logics. I. Theoretical foundations. -Berlin: Springer Verlag, 1992.

117. Bole L., Borowik P. Many-Valued Logics. II. Automated Reasoning and Practical Applications Berlin: Springer Verlag, 2003.

118. Bordini R.H., Hubner J.F., Wooldridge M. Programming Multi-Agent Systems in AgentSpeak with Jason. Jonh Wiley&Sons: Chichester, 2007. -294 p.

119. Bordini RH, Dastani M, Dix J and El Fallah Seghrouchni A (eds) 2005 Multi-Agent Programming: Languages, Platforms and Applications, vol. 15 of Mulliagent Systems, Artificial Societies, and Simulated Organizations. Springer, Berlin.

120. Cetnarowicz, K. Agent Oriented Technology Based on the M-Agent Architecture / K. Cetnarowicz ; Ed. by S. Aoshima, L. Polkowski, M. Toho // Proc. of Int. Conf. on Intelligent Techniques in Robotics, Control and

121. Decision Making. Polish-Japanese Institute of Information Technology. -Warsaw, Poland, 1999.

122. Cignoli R.L.O., D'Ottaviano J.M., Munduci D. Algebraic Foundations of Many-Valued Reasoning. Dordrecht: Kluwer Academic Publishers, 1998.

123. Dunn J.M. An Intuitive Semantics for First Degree Entailment and Coupled Trees// Philosophical Studies. -1976. Vol.29. - P.149-168.

124. Dunn J.M. Partiality and its Dual // Studia Logica 2000.-Vol.66.-P.225-256.

125. Dunn J.M., Hardegree G. Algebraic Methods in Philosophical Logic. -Oxford: Oxford University Press, 2001.

126. Edwards, J. Get It Together with Collaborative CRM. insideCRM, 2007.

127. Eemeren F. van, Grootendorst R. A Systemic Theory of Argumentation. -Cambridge: Cambridge University Press, 2004.

128. Epstein G. Multiple Valued Logic Design Bristol: Institute of Physics Publishing, 1993.

129. Felscher W. Dialogues as a Foundation for Intuitionistic Logic// Handbook of Philosophical Logic. Vol.III/ Ed.by D.Gabbay and F.Guenthner. -Dordrecht: D.Reidel, 1986. P.341-372.

130. Ferber, J. A meta-model for the analysis and design of organisations in multi-agent systems / J. Ferber, O. Gutknecht // In Proceeding of the 3rd International Conferenceon Multi-gent Systems (ICMAS 98). IEEE CS Press, 1998.

131. Finin T., Labrou Y., Mayfield J., KQML as an agent communication language Computer Science and Electrical Engineering, USA, 1995.

132. FIPA Communicative Act Library Specification // www.fipa.org

133. Fitting M. Kleene's Three-Valued Logics and Their Children // Fundamenta Informaticae. 1994. - № 20. - P. 113-131.

134. Fitting M. Bilattices and the Theory of Truth. // Journal of Philosophical Logic.- 1989. Vol.18. - P.225-256.

135. Fitting M. Kleene's Logic, Generalized. // Journal of Logic Computation. -1991.-Vol.1.-P.797-810.

136. Ginsberg M. Multivalued Logics: a Uniform Approach to Reasoning in Artificial Intelligence // Computational Intelligence. 1988. -Vol.4.- P. 265-316.

137. Gottwald S. A Treatise on Many-Valued Logics. Baldock: Research Studies Press, 2001.

138. Grice H.P. Logic and Conversation // Syntax and Semantics. 1977. -Vol.3. - P.41-58.

139. Haddadi A. Communication and Cooperation in Agent Systems: A Pragmatic Theory. Berlin: Springer Vcrlag, 1996.

140. Hamblin Ch. Fallacies. Methuen, London, UK, 1970.

141. Hamblin Ch. Mathematical Models of Dialogue // Theoria. 1971. - Vol.38.- P.130-155.

142. Harrah D. A Logic of Message and Reply // Synthese. 1985. - Mol. 63. -P.275-294.

143. Harrah D. Message Theory and the Semantics of Dialogue // Cognitive Constrains on Communication. D.Reidel, Dordrecht, 1984. - P.267-276.

144. Hewitt C. Viewing Control Structures as Patterns of Passing Messages// Artificial Intelligence. 1977. - Vol.8, №3. - P.323-364.

145. Hintikka J. Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford: Clarendon and Oxford University Press, 1973.

146. Hintikka J., Sandu G. Game-Theoretical Semantics// Handbook of Logic and Language/ Ed.by J.van Benthem, A. ter Meuler. Amsterdam: Elsevier Science Publishers, 1996. - P.361-410.

147. Krabbe E.C.W. Dialogue Logic// Handbook of the History of Logic. Vol.7. Logic and the Modalities in the 20th Century/ Ed. by D.M.Gabbay, J.Woods.- Amsterdam: Elsevier, 2006. P.665-704.

148. Lebbink A.G., Witterman C.L.M., Meyer J.-J. Ch. Dialogue Gamed for Inconsistent and Biased Information// Electronic Lccture Notes of theoretical Computer Science. 2003. - Vol.52, №2.

149. Lorenzen P., Lorenz K. Dialogische Logik. Darmstadt: Wissenschaftliche Buch gesellschaftt, 1978.

150. Malinowski G. Many-Valued Logics. Oxford: Clarendon Press, 1993.

151. Maranhäo, Tullio The Interpretation of Dialogue. University of Chicago Press, 1990.

152. Maria A. Medina, Alfredo Sanchez, Nohema Castellanos. Ontological Agents Model based on MAS-CommonKADS methodology /14th International Conference on Electronics, Communications and Computers, 2004 p. 260.

153. McBurney P., Parsons S., Dialogue in Muli-Agent Systems. 2002.

154. McBurney P., Parsons S., Games that agent play: a formal framework for dialogue between autonomous agents. //Journal of Logic, Language and Information, 11(3): P. 315-334, 2002

155. Nowakowska M. On a Formal Structure of Dialogue// Dialogue: An Interdisciplinary Approach/ Ed. by M.Dascal. Amsterdam: Elsevier, 1985. -P.135-145.

156. Nowakowska M. Toward a Formal Theory of Dialogues // Semiotics. -1976. -Vol. 4. P.291-313.

157. Process for Agent Societies Specification and Implementation. http://www.csai.unipa.it/passi.

158. Reschcr N. Dialectics. A Controversy-Oriented Approach to the Theory of Knowledge. Albany N.Y: State University of New York Press, 1977

159. Rescher N. Many-Valued Logics. New York: McGraw-Hill, 1969.

160. Restall G. Four-Valued Semantics for Relevant Logics (and Some Their Rivals)// Journal of Philosophical Logic. 1995. - Vol.24, №2. - P.139-160.

161. Saarinen E. Dialogue Logics vs. Game-Theoretical Semantics -Mimeographed, 1980.

162. Schreiber, G., Akkermans, H., Anjewierdern, A., de Hoog, R., Shadbolt, N., Van De Velde, W., Wielinga, B. Knowledge Engineering and Management: the Common-KADS Methodology. MIT Press. Cambridge, MA. 2001. -455 p.

163. Scott D. Continuous Lattices, Toposes, Algebraic Geometry and Logic// Lecture Notes in Mathematics// Ed. by Lawvere. Berlin: Springer-Verlag, 1972.-P. 97-136.

164. Searle J., Speech Acts. Cambridge: Cambridge University Press, 1961.

165. Smarandache F. Neutrosophy: Neutrosophic Probability, Set and Logic. — Rehoboth: American Research Press, 1999.

166. Schoter A. Evidential Bilattice Logic and Lexical Inference// Journal of Logic, Language and Information. 1996. - Vol.5. - P.65-105.

167. Tapscott, D., The Digital Economy: Promise and peril in the age of networked intelligence. McGraw-Hill, 1996.

168. The tropos project. // http://www.troposproiect.org.

169. Walton D.N. Logical Dialogue-Games and Fallacies. New York: Lanham, 1984.

170. Walton D.N., Krabbe E.C.W. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning Albany N.Y: State University of New York Press, 1995.

171. Winograd T., Flores F., Understanding Computers and Cognition: a New Foundation of Design Norwood: Ablex, 1986.

172. Wooldridge M. Reasoning About Rational Agents. Cambridge MA: The MIT Press, 2000.

173. Wooldridge, M. Agent-Oriented Software Engineering: The State of Art / M.Wooldridge, P. Ciancarini ; Ed. by P. Ciancarini and M. Wooldridge // Agent-Oriented Software Engineering .- Springer-Verlag Lecture Notes in AI, 2001.-Vol. 1957.

174. Wooldridge, M. The Gaia Methodology for Agent-Oriented Analysis and Desing / M.Wooldridge, N. R. Jennings, D. Kinny // Journal of Autonomous Agents and Multi-Agent Systems. 2000. - 3(3). - P. 285-312.