Skip to Main content Skip to Navigation
Conference papers

When Conditional Logic and Belief Revision Meet Substructural Logics

Abstract : Two threads of research have been pursued in parallel in logic and artificial intelligence. On the one hand, in artificial intelligence, logic-based theories have been developed to study and formalize belief change and the so-called "common sense reasoning" , i.e. the actual reasoning of humans. On the other hand, in logic, substructural logics, i.e. logics lacking some of the structural rules of classical logic, have been studied in depth from a theoretical point of view. However, the powerful (proof-theoretical) techniques and methods developed in logic have not yet been applied to artificial intelligence. Conditional logic and belief revision theory are prominent theories in artificial intelligence dealing with common sense reasoning. We show in this article that they can both be embedded within the framework of substructural logics and can both be seen as extensions of the Lambek calculus. This allows us to compare and relate them to each other systematically, via a natural formalization of the Ramsey test.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Friday, September 4, 2015 - 5:13:06 PM
Last modification on : Thursday, June 2, 2022 - 11:16:06 AM
Long-term archiving on: : Saturday, December 5, 2015 - 1:55:19 PM


Publisher files allowed on an open archive


  • HAL Id : hal-01193289, version 1


Guillaume Aucher. When Conditional Logic and Belief Revision Meet Substructural Logics. DARe-15 2015 Defeasible and Ampliative Reasoning, Jul 2015, Buenos Aires, Argentina. ⟨hal-01193289⟩



Record views


Files downloads