Nonmonotonic Logic

This Element provides a systematic introduction to the multifaceted world of nonmonotonic logics. It explains three central methodologies: formal argumentation, consistent accumulation, and semantic methods. It also reveals connections between the three paradigms by demonstrating translations among them.

List of contents

Introduction; Part I. Logics for Defeasible Reasoning: 1. Defeasible reasoning; 2. Central concepts; 3. From knowledge bases to consequences and NMLs; 4. Defeasible knowledge bases; 5. Methodologies for Nonmonotonic logics; 6. A roadmap; Part II. Formal Argumentation: 7. Abstract argumentation; 8. ASPIC+; 9. Logic-based argumentation; Part III. Consistently Accumulating Defeasible Information: 10. Consistent accumulation: general setting; 11. Temperate accumulation: properties and some concrete systems; 12. Greedy accumulation: properties and Reiter's default logic; Part IV. Semantic Methods: 13. A semantics for defaults; 14. Quantitative methods; 15. A preferential semantics for some NMLs; 16. Logic programming and nonmonotonic logic; Appendix A. Proofs for Part II; Appendix B. Proofs for Part III; References.

Product details

• Authors: Christian (Ruhr University Bochum) Straer, Christian Strasser
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Release: 31.07.2025, delayed
• EAN: 9781009598460
• ISBN: 978-1-0-0959846-0
• No. of pages: 75
• Series: Elements in Philosophy and Logic
• Subjects: Humanities, art, music > Linguistics and literary studies > General and comparative linguistics; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; Artificial Intelligence, PHILOSOPHY / Logic, LANGUAGE ARTS & DISCIPLINES / Linguistics / Semantics, Philosophy: logic, Semantics, discourse analysis, stylistics, COMPUTERS / Artificial Intelligence / General