Dynamics and Management of Reasoning Processes

این جلد، جلد ششم از سری کتابچه راهنمای DRUMS، بخشی از پس‌ریاضی پروژه موفق ESPRIT DRUMS (سیستم‌های مدیریت استدلال غیرقابل اطمینان و عدم قطعیت) است که در دو مرحله از 1989-1996 انجام شد. در مرحله دوم (1993-1996) یک بسته کاری معرفی شد که به موضوعات استدلال و پویایی اختصاص داشت، که هم موضوعات "Dynamics of Rea soning" را که در آن استدلال به عنوان یک فرآیند در نظر گرفته می شود و هم "استدلال در مورد دینامیک" را پوشش می داد. باید به این معنا باشد که چگونه طراحان و عوامل درون سیستم های پویا ممکن است درباره این سیستم ها استدلال کنند. جلد حاضر کار انجام شده در این زمینه را ارائه می دهد. این اثر بر مدل‌سازی و تکنیک‌های رسمی در بررسی موضوع «استدلال و پویایی» تأکید دارد، اما این نظریه صرف نیست که ما را به خود مشغول کرده است. هدف پژوهش از بین بردن شکاف بین نظریه و عمل بود. بنابراین، کاربردهای واقعی تکنیک‌های مدل‌سازی نیز در نظر گرفته شد، و امیدواریم این موضوع در این جلد که بر پویایی فرآیندهای استدلال متمرکز است نیز نشان داده شود. برای اینکه چشم‌اندازی وسیع‌تر به کتاب بدهیم، از تعدادی از محققان مشهور خارج از پروژه، اما در حال کار روی موضوعات مشابه دعوت کرده‌ایم تا در این زمینه مشارکت کنند. ما خاطرات بسیار دلپذیری از این پروژه داریم، با کارگاه های پر جنب و جوش و جلسات دیگر، با سایت ها و محققان بسیاری که در داخل و خارج از بسته کاری خود درگیر هستند.

This volume, the 6th volume in the DRUMS Handbook series, is part of the after­ math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un­ certainty Management Systems) which took place in two stages from 1989-1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea­ soning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context. This work has an emphasis on modelling and formal techniques in the investigation of the topic "Reasoning and Dynamics", but it is not mere theory that occupied us. Rather research was aimed at bridging the gap between theory and practice. Therefore also real-life applications of the modelling techniques were considered, and we hope this also shows in this volume, which is focused on the dynamics of reasoning processes. In order to give the book a broader perspective, we have invited a number of well-known researchers outside the project but working on similar topics to contribute as well. We have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package.