When Conditional Logic and Belief Revision Meet Substructural Logics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

When Conditional Logic and Belief Revision Meet Substructural Logics

Résumé

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.
Fichier principal
Vignette du fichier
DARe15.pdf (135.82 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01193289 , version 1 (04-09-2015)

Identifiants

  • HAL Id : hal-01193289 , version 1

Citer

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⟩
189 Consultations
228 Téléchargements

Partager

Gmail Facebook X LinkedIn More