Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning

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

Reasoning under uncertainty is always based on a specified language or for­ malism, including its particular syntax and semantics, but also on its associated inference mechanism. In the present volume of the handbook the last aspect, the algorithmic aspects of uncertainty calculi are presented. Theory has suffi­ ciently advanced to unfold some generally applicable fundamental structures and methods. On the other hand, particular features of specific formalisms and ap­ proaches to uncertainty of course still influence strongly the computational meth­ ods to be used. Both general as well as specific methods are included in this volume. Broadly speaking, symbolic or logical approaches to uncertainty and nu­ merical approaches are often distinguished. Although this distinction is somewhat misleading, it is used as a means to structure the present volume. This is even to some degree reflected in the two first chapters, which treat fundamental, general methods of computation in systems designed to represent uncertainty. It has been noted early by Shenoy and Shafer, that computations in different domains have an underlying common structure. Essentially pieces of knowledge or information are to be combined together and then focused on some particular question or domain. This can be captured in an algebraic structure called valuation algebra which is described in the first chapter. Here the basic operations of combination and focus­ ing (marginalization) of knowledge and information is modeled abstractly subject to simple axioms.