Модели, методы и программное обеспечение для управления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
Исследований. В современном бизнесе набирают силу тенденции клиентоцентризма, заключающиеся в развитии индивидуального подхода к клиенту. Эти тенденции объясняют необходимость построения новых средств математического и программного обеспечения вычислительных комплексов и компьютерных сетей, используемых в бизнесе, в частности, разработки программных систем управления взаимодействиями… Читать ещё >
Содержание
- Список основных сокращений
Глава 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-система управления взаимодействием с поставщиками и заказчиками.:.
Выводы по четвертой главе.
Список литературы
- Андреев, В. Методы и средства создания открытых мультиагентных систем для поддержки процессов принятия решений / В. Андреев, В. А. Виттих, С. В. Батищев // Известия РАН. Теория и системы управления. -2003. -№ 1.- С. 126−137.
- Аншаков О.М. ДСМ-метод и модификационные исчисления// Искусственный интеллект и принятие решений 2008. — № 1. — С.55−79.
- Аншаков О.М., Скворцов Д. П., Финн В. К. Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений// Логические исследования. Вып.1. М.: Наука, 1993. -С.222−247.
- Аншина, М., История и будущее, понятие, внедрение, сопровождение CRM. http://crm.com.ua, 2004.
- Аристотель. Собрание сочинений. М.: Мысль, 1976.
- Аршинский Л.В. Векторные логики. Основания, концепции, модели. -Иркутск: ИркГУ, 2007.
- Аршинский Л.В. О семантиках классической логики// Электронный журнал Logical Studies. М: ИЛКиРЛ, 2000. http://www.logic.ru/Russian/LogStud/05/ LS5. html
- Ашманов С.А. Линейное программирование. М. «Наука», 1981
- Белнап Н., Стил Т. Логика вопросов и ответов: Пер. с англ./ Под ред. В. А. Смирнова, В. К. Финна. -М.: Прогресс 1981.
- Библер B.C. От наукоучения — к логике культуры. Два философских введения в двадцать первый век, М.: Политиздат, 1991.
- Биркгоф Г. Теория решеток: Пер. с англ. М: Наука, 1984.
- Блинов A.JI. Семантические игры со случайными ходами// Логические исследования. Вып.З. М.: Наука, 1995. — С.257−276.
- Блинов А.Л., Петров В. В. Элементы логики действий. — М.: Наука, 1991.
- Борисов A.B., Тарасов В. Б. Моделирование мнений агентов в многоагентных системах на основе четырехзначных семантик// Программные продукты и системы 2006. — № 2. — С.47−50.
- Бочвар Д.А., Финн В. К. Некоторые дополнения к статьям о многозначных логиках. // Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976. — С.265−325.
- Бочвар Д.А., Финн В. К. О многозначных логиках, допускающих формализацию анализа антиномий. // Исследования по математической лингвистике, математической логике и информационным языкам. М. Наука, 1972. — С.238−295.
- Вагин В.Н. Знание в интеллектуальных системах. // Новости искусственного интеллекта. 2002. — № 6. — С. 8−18.
- Вагин В.Н., Головина Е. Ю., Загорянская A.A., Фомина М. В. Достоверный и правдоподобный вывод в интеллектуальных системах. М. ФИЗМАТЛИТ, 2004.
- Васильев H.A. Воображаемая логика. М.: Наука, 1989.
- Виноградов Д.В. Еще один вариант логики аргументации// Научно-техническая информация. Серия 2. Информационные процессы и системы. 2006. — № 5. — С. 1 -4.
- Виноградов Д.В. Метод семантических таблиц для логики аргументации// Научно-техническая информация. Серия 2. Информационные процессы и системы. 2006. -№ 11.- С. 17−20.
- Виньков М.М. Аргументационная семантика для шаговых теорий активной логики. // Труды 10-й национальной конференции по искусственному интеллекту КИИ-2006 (Обнинск, 25−28 сентября 2006 г.). М.: Физматлит, 2006. — Т.1. — С. ЗЗ 1−338.
- Витгенштейн Л. Избранные труды. М.: Гнозис, 1994.
- Виттих В.А., Скобелев П. О. Мультиагентные модели взаимодействий для построения сетей потребностей и возможностей в открытых системах // Автоматика и телемеханика. 2003. — № 1. — С. 177−185.
- Вригт фон Г. Х. Логико-философские исследования. Избранные труды: Пер. с англ. М.: Прогресс, 1986.
- Вулкан Н. Электронная коммерция стратегическое руководство. -Москва: Интернет Трейдинг, 2003.
- Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика. М.: Наука, Физматлит, 2000.
- Городецкий В.И., Грушинский М. С., Хабалов A.B. Многоагентные системы(обзор). // Новости искусственного интеллекта—1998.—№ 2 — С.64−116.
- Горский Ю.М. Основы гомеостатики. Гармония и дисгармония живых, природных, социальных искусственных систем. Иркутск: ИГЭА, 1998.
- Гретцер Г. Общая теория решеток: Пер. с англ. / Под ред. Д. М. Смирнова. М.: Мир, 1981.
- Грифцова И.Н. Логика как теоретическая и практическая дисциплина. К вопросу о соотношении формальной и неформальной логики. М. Эдиториал УРСС, 1998.
- Дзегеленок И.И. Логика поиска проектных решений. М.: Изд-во МЭИ, 1984.
- Емельянов В.В., Курейчик В. М., Курейчик В. В. Теория и практика эволюционного моделирования. -М.: Физматлит, 2003.
- Еремеев А.П., Троицкий В. В. Концепции и модели представления времени и их применение в интеллектуальных системах// Новости искусственного интеллекта. — 2004. № 1. — С.6−29.
- Заде Л.А. Роль мягких вычислений и нечеткой логики в понимании, конструировании и развитии информационных/интеллектуальных систем. Новости Искусственного Интеллекта, № 2−3, 2001, с. 7 — 11.
- Ивин А. А., Никифоров А. Л. Словарь по логике. М.: ВЛАДОС, 1997.
- Ивин A.A. Логика норм. М.: МГУ, 1973.
- Ивин A.A. Основы теории аргументации. М.: ВЛАДОС, 1997.
- Информатизация бизнеса// А. М. Карминский, С. А. Карминский, В. П. Нестеров, Б. В. Черников. — М.: Финансы и статистика, 2004.
- Кандрашина Е.Ю., Литвинцева Л. В., Поспелов Д. А. Представление знаний о пространстве и времени в системах искусственного интеллекта. М.: Наука, 1988.
- Карпенко A.C. Логика на рубеже тысячелетий// Логические исследования. Вып.7. М.: Наука, 2000. — С.8−60.
- Карпенко A.C. Многозначные логики. M.: Наука, 1997.
- Карпенко A.C. Современные исследования в философской логике// Логические исследования. Вып. 5. М.: Наука, 1998. — С.7−18.
- Клини С. К. Введение в метаматематику: Пер. с англ. М.: Изд. ИЛ. 1957.
- Кобозева И.М. Лингвистическая семантика. М.: Эдиториал УРСС, 2000.
- Компьютерная поддержка сложных организационно-технических систем/ В. В. Борисов, И. А. Бычков, А. В. Дементьев и др. М.: Горячая линия — Телеком, 2002.
- Котенко И.В., Уланов А. В. Многоагентное моделирование защиты информационных ресурсов в сети Интернет // Известия РАН. Теория и системы управления. 2007. — № 5. — С. 74−88.
- Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат, 1980.
- Кутепов В.П., Фальк В. Н. Направленные отношения: теория и приложения// Известия РАН: Техническая кибернетика.-1994.-№ 4-С.242−256- № 5-С. 114−123.
- Логико-философские труды В. А. Смирнова. М.: Эдиториал УРСС, 2001.
- Лотман Ю.М. Семиосфера. Санкт-Петербург: Искусство-СПб, 2000.
- Лукасевич Я. О детерминизме // Логические исследования. Вып.2. — М.: Наука, 1993.-С. 190−205.
- Митрошенков JT.А. Эффективные переговоры. М.: ИНФРА-М, 2003.
- Непейвода H.H. Прикладная логика. Новосибирск: Изд-во НГУ, 2000.
- Нечеткие гибридные системы. Теория и практика/ И. З. Батыршин, А. О. Недосекин, А. А. Стецко, В. Б. Тарасов, А. В. Язенин, Н.Г.Ярушкина/ Под ред. Н. Г. Ярушкиной. М.: Физматлит, 2007.
- Новак В., Перфильева И. Г., Мочкорж И. Математические принципы нечеткой логики: Пер. с англ. М.: Физматлит, 2006.
- Осипов Г. С. Приобретение знаний интеллектуальными системами. -М.: Наука, 1997.
- Остин Д. Избранное. М.: Идея-Пресс, 1999.
- Остин Д. Слово как действие // Новое в зарубежной лингвистике, вып XVII: Теория речевых актов. М., 1986.
- Павлов С.А. Классификация трех- и четырехзначных логик в рамках логики ложности FL4 // Логические исследования. Вып. З М.: Наука, 1995 — С.98−122.
- Плесневич Г. С. Метод аналитических таблиц для нахождения оценок в логике Заде// Труды 11 -й национальной конференции по искусственному интеллекту КИИ-2008 (Дубна, 28 сентября-3 октября 2008 г.). Т.З. М.: Ленанд, 2008. — С.249−259.
- Плесневич Г. С., Авдошин С. М., Тарасов В. Б. Концептуальная спецификация многоагентных систем (часть 1) // Информационные технологии. 2002. — № 12. — С.25−35.
- Попов Э. В. Общение с базами данных на ограниченном естественном языке: прошлое, настоящее, будущее// Новости искусственного интеллекта. 2002. — № 1. — С.21−26.
- Попов Э.В. Общение с ЭВМ на естественном языке. 2-е изд. М.: Едиториал УРСС, 2004.
- Поспелов Д.А. От коллектива автоматов к мультиагентным системам// Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (ОА1МА8'97, Санкт-Петербург, Россия, 15−18 июня 1997).-С.319−325.
- Поспелов Д.А. Многоагентные системы настоящее и будущее// Информационные технологии и вычислительные системы. — 1998. -№ 1.-С. 14−21.
- Рыбина Г. В., Петухов Д. М. Модель взаимодействия интеллектуальных агентов// Труды Международной научно-практической конференции «Знание диалог — решение». Т.2 (К1)8−2001, Санкт-Петербург, 19−22 июня 2001 г.). — СПб: Лань, 2001, — С.548−553.
- Саати Т. Целочисленные методы оптимизации и связанные с ними экстремальные проблемы. — М.: Мир, 1973
- Светлов В.А. Практическая логика. СПб: Росток, 2003.
- Скобелев П.О. Теоретические основы создания открытых мультиагентных систем для оперативной обработки информации в процессах принятия решений // Проблемы управления и моделирования в сложных системах. Труды У-й Международной конференции
- Самара, 17−21 июня 2003 г.). Самара: СНЦ РАН. ИПУСС РАН, 2003.- С.295−303.
- Скрипник К.Д. Логические модели диалога. Ростов-на-Дону: РГУ, 2001.
- Смагин C.B. Агентно-ориентированный подход к построению систем класса CRM и SRM. // Труды XVII международного научно-технического семинара. Алушта — СПб.:ГУАП, 2008. — С.236−237.
- Смагин C.B. Анализ возможностей библиотеки BeeGent как средства построения агентно-ориентированных приложений // Информационная математика научно-технический журнал № 1(5)2005. М.:АСТ-физматлит, 2005. С. 155−165.
- Смагин C.B. Инфраструктура взаимодействий агентов для интернет магазина // Труды XIV международного научно-технического семинара. Алушта — Самара: Самарский государственный аэрокосмический университет, 2005.- с. 71.
- Смагин C.B. Исследование и моделирование взаимодействия и самоорганизации агентов на виртуальном предприятии. Магистерская диссертация. М.: МЭИ, 2005.
- Смагин C.B. Построение BDI-модели на основе многозначных логик. // Труды XVI Международного научно-технического семинара. Алушта- Тула: ТулГУ. 2007.
- Смагин C.B., Тарасов В. Б. Моделирование рефлексивных рассуждений агента на основе нетрадиционных логик. // Труды XV международного научно-технического семинара. Алушта — М.:МИФИ, 2006 — с. 275.
- Смагин C.B., Тарасов В. Б. Некоторые аспекты моделирования взаимодействий агентов. // Труды XIII международного научно-технического семинара. Алушта — М.:МГУ, 2004. — т. 1. — с.25−26.
- Смирнов А.В., Шереметов Л. Б. Многоагентная технология проектирования сложных систем. Ч. 1// Автоматизация проектирования.-1998.-№ 3. 4.2// Автоматизация проектирования. -1999. № 1. — С.42−46.
- Смирнов С.Н. Электронный бизнес. М.: ДМК пресс, 2003.
- Смирнова Е.Д. Вопросы семантики паранепротиворечивых логик// Logical Studies. 1999. — № 2.
- Смирнова Е.Д. Логическая семантика и философские основания логики. М.: МГУ, 1986.
- Стефанюк В.Л. Локальная организация интеллектуальных систем. — М.: Физматлит, 2004.
- Стефанюк В.Л. От многоагентных систем к коллективному поведению// Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (DAIMAS'97, Санкт-Петербург, 15−18 июня 1997). С.327−338.
- Таран Т.А. О разрешении конфликтов в многоагентных системах на основе аргументации// Искусственный интеллект (Доценк, Украина). -1997 № 1 -2. — С.36−50.
- Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственном интеллекте // Новости искусственного интеллекта. -1998.-№ 2. С.5−63.
- Тарасов В.Б. Искусственная жизнь и нечеткие эволютдишнные многоагентные системы основные теоретические подходы к посторению интеллектуальных организаций // Известия РАН: Теория и системы управления. — 1998. — № 5 — С. 12−23.
- Тарасов В.Б. Нетрадиционные и гибридные логики в моделировании интеллектуальных агентов. I. Искусственные деятели, интенциональные характеристики и пути их моделирования// Известия РАН: Теория и системы управления. 2000. — № 5. — С.5−17.
- Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, информатика. М. Эдиториал УРСС, 2002.
- Тарасов В.Б. От алгебраической модели Тарского к логико-семиотической матрице// Труды 9-й национальной конференции по искусственному интеллекту КИИ-2004 (Тверь, 28 сентября-2 октября 2004 г.). М.: Физматлит, 2004. — Т. 1. — С.311 -322.
- Тард Г. Социальная логика. Спб: СПЦ, 1996.
- Тарский А. Введение в логику и методологию дедуктивных наук: Пер. с англ. Биробиджан: ИП Тривиум, 2000.
- Тарский А. Понятие истины в языках дедуктивных наук. Философия и логика Львовско-Варшавской школы.- М.: РОССПЭН, 1999 С. 19−155.
- Тейз А., Грибомон П., Юлен Г. и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных: Пер с франц. М: Мир, 1998.
- Топорков B.B. Модели распределенных вычислений. М.: Физматлит, 2004.
- Трахтенгерц Э.А. Компьютерная поддержка переговоров при согласовании управленческих решений. М.: СИНТЕГ, 2003.
- Трахтенгерц Э.А. Многоагентные системы поддержки принятия решений// Теория и системы управления. 1998. — № 5. — С. 106−122.
- Финн В.К. Интеллектуальные системы и общество. М.: КомКнига, 2006
- Финн В.К. Об интеллектуальном анализе данных // Новости искусственного интеллекта. 2004. — № 3. — С. 3−18.
- Финн В.К. Об одном варианте логики аргументации// Научно-техническая информация. Серия 2. Информационные процессы и системы. 1996. — № 5−6. — С.3−19.
- Финн В.К. Стандартные и нестандартные логики аргументации I // Логические исследования. Вып. 13. М.: Наука, 2006. — С. 157−189.
- Фреге Г. Логика и логическая семантика. Сборник трудов. М.: Аспект Пресс, 2000.
- Хинтикка, Я. Логико-эпистемологические исследования. М.: Прогресс, 1980.
- Черкашин, П., Готовы ли Вы к войне за клиента? Москва, 2004 г.
- Шрамко Я.В. Обобщенные истинностные значения: решетки и мультирешетки // Логические исследования. Вып.9. М.: Наука, 2002. — С.264−291.
- Шрамко Я.В. Американский план для интуиционистской логики II: обобщенные интуиционистские модели// Logical Studies. 2000 — № 5.
- Шульц Д.П., Шульц С. Э. История современной психологии: Пер. С англ. СПб: Евразия, 1998.
- Шуман А.Н. Современная логика: теория и практика. — Мн: Экономпресс, 2004.
- Юрасов А.В. Электронная коммерция. М.: Дело, 2003.
- Arieli О., Avron A. Reasoning with Logical Bilattices// Journal of Logic, Language and Information. 1996. — Vol.5, № 1. — P.25−63.
- Barth E.M., Krabbe E.C. From Axiom to Dialogue: Philosophical Study of Logics and Argumentation. Berlin: Walter de Gruyten, 3982.
- 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.
- 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.
- Bole L., Borowik P. Many-Valued Logics. I. Theoretical foundations. -Berlin: Springer Verlag, 1992.
- Bole L., Borowik P. Many-Valued Logics. II. Automated Reasoning and Practical Applications Berlin: Springer Verlag, 2003.
- Bordini R.H., Hubner J.F., Wooldridge M. Programming Multi-Agent Systems in AgentSpeak with Jason. Jonh Wiley&Sons: Chichester, 2007. -294 p.
- 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.
- 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
- Decision Making. Polish-Japanese Institute of Information Technology. -Warsaw, Poland, 1999.
- Cignoli R.L.O., D’Ottaviano J.M., Munduci D. Algebraic Foundations of Many-Valued Reasoning. Dordrecht: Kluwer Academic Publishers, 1998.
- Dunn J.M. An Intuitive Semantics for First Degree Entailment and Coupled Trees// Philosophical Studies. -1976. Vol.29. — P.149−168.
- Dunn J.M. Partiality and its Dual // Studia Logica 2000.-Vol.66.-P.225−256.
- Dunn J.M., Hardegree G. Algebraic Methods in Philosophical Logic. -Oxford: Oxford University Press, 2001.
- Edwards, J. Get It Together with Collaborative CRM. insideCRM, 2007.
- Eemeren F. van, Grootendorst R. A Systemic Theory of Argumentation. -Cambridge: Cambridge University Press, 2004.
- Epstein G. Multiple Valued Logic Design Bristol: Institute of Physics Publishing, 1993.
- 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.
- 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.
- Finin T., Labrou Y., Mayfield J., KQML as an agent communication language Computer Science and Electrical Engineering, USA, 1995.
- FIPA Communicative Act Library Specification // www.fipa.org
- Fitting M. Kleene’s Three-Valued Logics and Their Children // Fundamenta Informaticae. 1994. — № 20. — P. 113−131.
- Fitting M. Bilattices and the Theory of Truth. // Journal of Philosophical Logic.- 1989. Vol.18. — P.225−256.
- Fitting M. Kleene’s Logic, Generalized. // Journal of Logic Computation. -1991.-Vol.1.-P.797−810.
- Ginsberg M. Multivalued Logics: a Uniform Approach to Reasoning in Artificial Intelligence // Computational Intelligence. 1988. -Vol.4.- P. 265−316.
- Gottwald S. A Treatise on Many-Valued Logics. Baldock: Research Studies Press, 2001.
- Grice H.P. Logic and Conversation // Syntax and Semantics. 1977. -Vol.3. — P.41−58.
- Haddadi A. Communication and Cooperation in Agent Systems: A Pragmatic Theory. Berlin: Springer Vcrlag, 1996.
- Hamblin Ch. Fallacies. Methuen, London, UK, 1970.
- Hamblin Ch. Mathematical Models of Dialogue // Theoria. 1971. — Vol.38.- P.130−155.
- Harrah D. A Logic of Message and Reply // Synthese. 1985. — Mol. 63. -P.275−294.
- Harrah D. Message Theory and the Semantics of Dialogue // Cognitive Constrains on Communication. D. Reidel, Dordrecht, 1984. — P.267−276.
- Hewitt C. Viewing Control Structures as Patterns of Passing Messages// Artificial Intelligence. 1977. — Vol.8, № 3. — P.323−364.
- Hintikka J. Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford: Clarendon and Oxford University Press, 1973.
- 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.
- 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.
- 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.
- Lorenzen P., Lorenz K. Dialogische Logik. Darmstadt: Wissenschaftliche Buch gesellschaftt, 1978.
- Malinowski G. Many-Valued Logics. Oxford: Clarendon Press, 1993.
- Maranhao, Tullio The Interpretation of Dialogue. University of Chicago Press, 1990.
- 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.
- McBurney P., Parsons S., Dialogue in Muli-Agent Systems. 2002.
- 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
- Nowakowska M. On a Formal Structure of Dialogue// Dialogue: An Interdisciplinary Approach/ Ed. by M.Dascal. Amsterdam: Elsevier, 1985. -P.135−145.
- Nowakowska M. Toward a Formal Theory of Dialogues // Semiotics. -1976. -Vol. 4. P.291−313.
- Process for Agent Societies Specification and Implementation. http://www.csai.unipa.it/passi.
- Reschcr N. Dialectics. A Controversy-Oriented Approach to the Theory of Knowledge. Albany N. Y: State University of New York Press, 1977
- Rescher N. Many-Valued Logics. New York: McGraw-Hill, 1969.
- Restall G. Four-Valued Semantics for Relevant Logics (and Some Their Rivals)// Journal of Philosophical Logic. 1995. — Vol.24, № 2. — P.139−160.
- Saarinen E. Dialogue Logics vs. Game-Theoretical Semantics -Mimeographed, 1980.
- 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.
- Scott D. Continuous Lattices, Toposes, Algebraic Geometry and Logic// Lecture Notes in Mathematics// Ed. by Lawvere. Berlin: Springer-Verlag, 1972.-P. 97−136.
- Searle J., Speech Acts. Cambridge: Cambridge University Press, 1961.
- Smarandache F. Neutrosophy: Neutrosophic Probability, Set and Logic. — Rehoboth: American Research Press, 1999.
- Schoter A. Evidential Bilattice Logic and Lexical Inference// Journal of Logic, Language and Information. 1996. — Vol.5. — P.65−105.
- Tapscott, D., The Digital Economy: Promise and peril in the age of networked intelligence. McGraw-Hill, 1996.
- The tropos project. // http://www.troposproiect.org.
- Walton D.N. Logical Dialogue-Games and Fallacies. New York: Lanham, 1984.
- 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.
- Winograd T., Flores F., Understanding Computers and Cognition: a New Foundation of Design Norwood: Ablex, 1986.
- Wooldridge M. Reasoning About Rational Agents. Cambridge MA: The MIT Press, 2000.
- 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.
- 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.