A New Perspective on Nonmonotonic Logics

• Κύριοι συγγραφείς: Gabbay, Dov M. (Συγγραφέας), Schlechta, Karl (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Θέματα: Computer science.; Logic.; Philosophy and science.; Mathematical logic.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Philosophy of Science.; Mathematical Logic and Foundations.; Artificial Intelligence (incl. Robotics).

"Logics are like shadows on a wall; to understand why they dance as they do, and how they can be made to move differently, one needs to look at the mathematical structures from which they can be projected. That is a methodology that has long proven its value for classical and other forms of ded...

Πίνακας περιεχομένων:

• 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.