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.
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.
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826