Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday

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

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

Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based approaches where logic is to be understood in a rather broad sense; usually these approaches are used in symbolic domains where numerical calculations are not the core challenge. On the other hand we find approximation oriented reasoning; methods of these kinds are mainly applied in numerical domains where approximation is part of the scientific methodology itself.

However, from an abstract level all these approaches do focus on similar topics and arise on various levels such as problem modeling, inference and problem solving techniques, algorithms and mathematical methods, mathematical relations between discrete and continuous properties, and are integrated in tools and applications. In accordance with the unifying vision and research interest of Michael M. Richter and in correspondence to his scientific work, this book presents 13 revised full papers advocating the integration of logic-based and approximation-oriented approaches in knowledge processing.