Nonmonotonic Logic: Logics for Defeasible Reasoning

درباره این کتاب

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