Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning

این کتاب منطق تطبیقی ​​را به عنوان چارچوبی بصری و قدرتمند برای مدل‌سازی استدلال غیرقابل قبول ارائه می‌کند. این زمینه‌های مختلفی را بررسی می‌کند که در آن‌ها استدلال قابل انکار مفید است و مقدمه‌ای فشرده در منطق تطبیقی ​​ارائه می‌دهد.

نویسنده ابتدا خوانندگان را با استدلال انکارناپذیر، چارچوب منطق تطبیقی، ترکیبی از منطق های تطبیقی، و طیف وسیعی از ویژگی های فرانظری مفید آشنا می کند. او سپس یک مطالعه سیستماتیک از منطق تطبیقی ​​بر اساس کاربردهای مختلف ارائه می دهد.

این کتاب مدل‌های رسمی برای استدلال انکارناپذیر را ارائه می‌کند که از زمینه‌های مختلف ناشی می‌شوند، مانند استدلال پیش‌فرض، استدلال، و استدلال هنجاری. مزیت‌های فرانظری مختلف منطق‌های تطبیقی ​​را نسبت به سایر منطق‌ها یا چارچوب‌های منطقی که استدلال انکارپذیر را مدل می‌کنند، برجسته می‌کند. به این ترتیب کتاب وضعیت منطق‌های انطباقی را به عنوان یک چارچوب رسمی عمومی برای استدلال غیرقابل اثبات اثبات می‌کند.

This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptive logics.

The author first familiarizes readers with defeasible reasoning, the adaptive logics framework, combinations of adaptive logics, and a range of useful meta-theoretic properties. He then offers a systematic study of adaptive logics based on various applications.

The book presents formal models for defeasible reasoning stemming from different contexts, such as default reasoning, argumentation, and normative reasoning. It highlights various meta-theoretic advantages of adaptive logics over other logics or logical frameworks that model defeasible reasoning. In this way the book substantiates the status of adaptive logics as a generic formal framework for defeasible reasoning.