Статья

Название статьи ДИАЛОГИКА – ТЕОРЕТИЧЕСКАЯ ОСНОВА ИЗУЧЕНИЯ ВЗАИМОДЕЙСТВИЯ АГЕНТОВ В ИНТЕЛЛЕКТУАЛЬНЫХ САПР НОВЫХ ПОКОЛЕНИЙ
Автор В.Б. Тарасов, С.В. Смагин
Рубрика РАЗДЕЛ II. АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ
Месяц, год 09, 2008
Индекс УДК 621.03: 007.5
DOI
Аннотация В работе развита концепция ИСАПР как многоагентной системы. Обсуждаются проблемы и принципы диалогики, понимаемой как область междисциплинарного исследования диалогов. Основное внимание уделено логическим моделям диалога. Авторами введены новые логико-алгебраические конструкции: диалоговые логики, логики диспута, диалоговые решетки и бирешетки, решетки диспута. Предложена минимальнозначная диалоговая семантика на основе теории решеток и бирешеток, разработаны базовые логики диалога, определены и обоснованы их основные операции. Разработанный авторами формальный аппарат нашел применение при создании многоагентной системы поддержки взаимодействий специалистов на протяжении цикла разработки сложных изделий машиностроения.

Скачать в PDF

Ключевые слова агент, взаимодействие агентов, ИСАПР, диалог, переговоры, диалогика, логическая решетка, бирешетка, порядок согласия, порядок выигрыша.
Библиографический список 1. Тарасов В.Б. О путях и принципах реализации совмещенной разработки машиностроительных конструкций // Интеллектуальные САПР. Междуведомственный тематический
научный сборник. – Таганрог: Изд-во ТРТИ, 1995, Вып. 5. – С. 36-42.
2. Зинченко В.А., Курейчик В.М. Синергетическое эволюционное проектирование // Труды 8-й национальной конференции по искусственному интеллекту КИИ-2002 (Коломна, 7-12 октября 2002 г.). – М.: Физматлит, 2002, Т. 2. – С. 876-884.
3. Тарасов В.Б., Голубин А.В. Эволюционное проектирование: на границе между проектированием и самоорганизацией // Известия ТРТУ. - 2006, №8(63). – С. 77-82.
4. Pahl G., Beitz W. Engineering Design. A Systematic Approach, 2nd edition. – Berlin: Springer Verlag, 1996.
5. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям. – М.: Эдиториал УРСС, 2002.
6. Круглый стол. Зачем нужны нетрадиционные логики в интеллектуальных САПР? // Новости искусственного интеллекта. – 2000, №3. – С. 193-212.
7. Hintikka J. Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. – Oxford: Clarendon and Oxford University Press, 1973.
8. Lorenzen P., Lorenz K. Dialogische Logik. – Darmstadt: Wissenschaftliche Buch gesell-schaftt, 1978.
9. 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.
10. Levin J. A., Moore J. A. Dialogue-Games: Meta-Communication Structures for Natural Language Interaction // Cognitive Science. – 1977, Vol.1, №4. – P. 395-420.
11. McBurney P., Eijk R.M., Parsons S., Amgoud L. A Dialogue Game Protocol for Agent Purchase Negotiations// Autonomous Agents and Multi-Agent Systems. – 2003, Vol.7, №3. – P. 235-273.
12. Rescher N. Dialectics. A Controversy-Oriented Approach to the Theory of Knowledge. – Albany N.Y: State University of New York Press, 1977.
13. Sawamura H., Umeda Y., Meyer R.K. Computational Dialectics for Argument-Based Agents Systems // Proceedings of ICMAS. – 2000. – P. 271-278.
14. Nowakowska M. On a Formal Structure of Dialogue// Dialogue: an Interdisciplinary Approach/ Ed. by M.Dascal. – Amsterdam: Elsevier, 1985. – P. 135-145.
15. Скрипник К.Д. Логические модели диалога. – Ростов-на-Дону: Изд-во РГУ, 2001.
16. 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.
17. Светлов В.А. Практическая логика. – СПб: Росток, 2003.
18. Шуман А.Н. Современная логика: теория и практика. – Минск: Экономпресс, 2004.
19. Финн В.К. Об одном варианте логики аргументации // Научно-техническая информация. Серия 2. Информационные процессы и системы. – 1996, №5-6. – С. 3-19.
20. Грифцова И.Н. Логика как теоретическая и практическая дисциплина. К вопросу о соотношении формальной и неформальной логики. – М.: Эдиториал УРСС, 1998.
21. Тарасов В.Б.,Борисов А.В. Логическое моделирование когнитивных и коммуникативных характеристик агентов: единый подход // Труды 10-й национальной конференции по искусственному интеллекту КИИ-2006 (Обнинск, 25-28 сентября 2006 г.). Т.3. – М.: Физматлит, 2006. – С. 916-928.
22. Ginsberg M. Multivalued Logics: a Unified Approach to Reasoning in AI // Computer Intelligence. – 1988, Vol. 4. – P. 256-316.
23. Fitting M. Bilattices and the Theory of Truth// Journal of Philosophical Logic. – 1989, Vol.19. – P. 225-256.

Comments are closed.