جستجوي پيشرفته | کتابخانه مجازی الفبا

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