A New Perspective on Nonmonotonic Logics

• Main Authors: Gabbay, Dov M. (Author), Schlechta, Karl (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Subjects: 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...

Table of Contents:

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