Agent-Based Defeasible Control in Dynamic Environments

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

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty 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 Reasoning", 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 extended with some work done by outstanding researchers outside the project on related issues. While the previous volume in this series had its focus on the dynamics of reasoning pro­ cesses, the present volume is more focused on "reasoning about dynamics', viz. how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. In particular we consider modelling frameworks and generic agent models for modelling these dynamic systems and formal approaches to these systems such as logics for agents and formal means to reason about agent­ based and compositional systems, and action & change more in general. We take this opportunity to mention that 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.