New Perspective on Nonmonotonic Logics

Part I - Introduction.- Part II - Background Material.- Basic Algebraic and Logical Definitions.- Defeasible Inheritance.- Reiter Defaults and Autoepistemic Logic.- Preferential Structures and Related Concepts.- Deontic Logic, Contrary-to-Duty Obligations.- Theory Revision, Theory Contraction, and Conditionals.- Neurology.- Part III - New Results.- Independence and Interpolation.- Probabilistic and Abstract Independence.- Formal Construction.- The Talmudic Kal Vachomer Rule.- Equational CTD.- Conclusion.- Index.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Fundamentos da Matemática
• Filosofia: a lógica
• Teoria matemática da computação
• Filosofia da Ciência
• Lógica matemática
• Inteligência artificial

Logic;Mathematical Logic;Meta-rules;Nonmonotonic Logic (NML);Philosophy of Science;Rarity;Defeasible Inheritance;Deontic Logic;Theory Revision;Counterfactuals;Neurology