Nonmonotonic Logic
-10%
portes grátis
Nonmonotonic Logic
Strasser, Christian
Cambridge University Press
08/2025
75
Mole
9781108986861
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
