Article

Article title DIALOGIC – A THEORETICAL BASIS FOR STUDYING AGENTS COMMUNICATIONS IN NEW GENERATION INTELLIGENT CAD SYSTEMS
Authors V.B. Tarassov, S.V. Smaguine
Section SECTION II. AUTOMATION OF DESIGNING
Month, Year 09, 2008 @en
Index UDC 621.03
DOI
Abstract The concept of intelligent CAD system based on multi-agent architecture is developed. Some problems of dialogic – a wide pluridisciplinary area dedicated to dialogues studies paper – are faced. The main attention is paid to logical dialogue mo-dels. The authors introduce new logical-algebraic constructions such as dialogue logics, disputation logics, dialogues lattices and bilattices, disputation lattices. The minimally- valued dialogue semantics based on lattice and bilattice theory is suggested, basic dialogue logics are proposed, their main operations are specified and justified. The developed formal models find application in the construction of multi-agent system to support expert interactions during complex product’s life-cycle.

Download PDF

Keywords agent, agent communications, ICAD, dialogue, negotiations, dialogic, logical lattice, bilattice, consensus order, disputation order.
References 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.