A New Perspective on Nonmonotonic Logics

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Gabbay, Dov M. (Autor), Schlechta, Karl (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Temas:
Machine theory.
Logic.
Science-Philosophy.
Mathematical logic.
Artificial intelligence.
Formal Languages and Automata Theory.
Philosophy of Science.
Mathematical Logic and Foundations.
Artificial Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares