A New Perspective on Nonmonotonic Logics

✍ Scribed by Dov M. Gabbay, Karl Schlechta (auth.)

• Publisher: Springer International Publishing
• Year: 2016
• Tongue: English
• Leaves: 367
• Edition: 1
• Category: Library

✦ Synopsis

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.

It is suitable for researchers in the area of computer science and mathematical logic.

✦ Table of Contents

Front Matter....Pages i-x
Front Matter....Pages 1-1
Introduction....Pages 3-62
Front Matter....Pages 63-63
Basic Algebraic and Logical Definitions....Pages 65-74
Defeasible Inheritance....Pages 75-90
Reiter Defaults and Autoepistemic Logic....Pages 91-95
Preferential Structures and Related Concepts....Pages 97-130
Deontic Logic, Contrary-to-Duty Obligations....Pages 131-144
Theory Revision, Theory Contraction and Conditionals....Pages 145-157
Neurology....Pages 159-174
Front Matter....Pages 175-175
Independence and Interpolation....Pages 177-199
Probabilistic and Abstract Independence....Pages 201-232
Formal Construction....Pages 233-266
The Talmudic Kal Vachomer Rule....Pages 267-282
Equational CTD....Pages 283-344
Conclusion....Pages 345-349
Back Matter....Pages 351-365

✦ Subjects

Mathematical Logic and Formal Languages;Logic;Philosophy of Science;Mathematical Logic and Foundations;Artificial Intelligence (incl. Robotics)