منطق شناختی پویا - ویکی‌پدیا، دانشنامهٔ آزاد

این مقاله در دست ترجمه از یک نسخهٔ زبانی دیگر از ویکی‌پدیا است. برای جلوگیری از تعارض ویرایشی، لطفاً تا زمانی که این برچسب در اینجا قرار دارد، صفحه را ویرایش نکنید.

منطق شناختی پویا، یک چارچوب منطقی است که با تغییرات دانش و اطلاعات سر و کار دارد. معمولاً منطق شناختی پویا بر روی موقعیت‌هایی که شامل چندین عامل هستند تمرکز دارد و چگونگی تغییر دانش آنها را در هنگام تغییر رویدادها مطالعه می‌کند. این رویدادها ممکن است ویژگی‌های واقعی جهان حقیقی را تغییر دهند (آنها را رویدادهای وابسته به واقعیت می‌نامند) به عنوان مثال: یک کارت قرمز را آبی رنگ می‌کنیم. آنها همچنین می‌توانند بدون تغییر ویژگی‌های واقعی دنیای حقیقی، دانش را تغییر دهند (آنها را رویدادهای شناختی می‌نامند) به عنوان مثال: یک کارت قرمز به صورت عمومی یا خصوصی اعلام می‌شود. ابتدا منطق شناختی پویا بر روی رویدادهای شناختی تمرکز داشت. ما در این مقاله فقط برخی از ایده‌های اصلی را ارائه می‌دهیم. توضیحات بیشتر درمورد منطق شناختی پویا در مراجع قابل دسترسی است.

با توجه به ماهیت موضوع مطالعه و رویکرد انتزاعی آن، منطق شناختی پویا در زمینه‌های متعددی کاربرد دارد مانند علوم کامپیوتر (هوش مصنوعی)، فلسفه (معرفت شناسی تفصیلی)، اقتصاد (نظریهٔ بازیها) و علوم شناختی. برای مثال، در علوم کامپیوتر، منطق شناختی پویا بسیار به سیستم‌های چند عامله مربوط می‌شود که سیستم‌هایی هستند که در آن چندین عامل هوشمند با یکدیگر تعامل و تبادل اطلاعات می‌کنند.

منطق شناختی پویا، به عنوان ترکیبی از منطق پویا و منطق شناختی، یک زمینهٔ تحقیقاتی جدید است که از سال 1989 با منطق اعلان عمومی پلازا آغاز شد. مستقل از این، گربراندی و گرنولد سیستمی را پیشنهاد دادند که علاوه بر اعلان خصوصی، الهام گرفته از کار ولتمن بود. سیستم دیگری توسط ون دیتمارش پیشنهاد شد که الهام گرفته از بازی کلودو بود. اما مؤثرترین و اصیل‌ترین سیستم، سیستمی بود که توسط بالتاگ، ماس و سولکی پیشنهاد شد.این سیستم توانایی مدیریت تمام انواع موقعیت‌های مطالعه شده در کارهای فوق را دارد و روش اساسی آن مبتنی بر مفهوم است. ما در این مقاله برخی از ایده‌های اساسی آن را ارائه خواهیم داد.

به طور رسمی منطق شناختی پویا، مدلهای رویداد برای توصیف اقدامات و یک عملگر به روزرسانی را به منطق شناختی اضافه می‌کند که نشان می‌دهد با انجام این اقدامات، چگونه مدلهای شناختی به‌روز می‌شوند. در ابتدا منطق شناختی را یادآوری می‌کنیم. سپس به اقدامات و رویدادها می‌پردازیم و چارچوب منطق شناختی پویا را معرفی می‌کنیم.