This paper sheds a novel light on the longstanding problem of investigating the logic of conditional events. Building on the framework of Boolean algebras of conditionals previously introduced by the authors, we make two main new contributions. First, we fully characterise the atomic structure of these algebras of conditionals. Second, we introduce the logic of Boolean conditionals (LBC) and prove its completeness with respect to the natural semantics induced by the structural properties of the atoms in a conditional algebra as described in the first part. In addition we outline the close connection of LBC with preferential consequence relations, arguably one of the most appreciated systems of non-monotonic reasoning.
On Boolean Algebras of Conditionals and Their Logical Counterpart / T. Flaminio, L. Godo, H. Hosni (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty / [a cura di] A. Antonucci, L. Cholvy, O. Papini. - [s.l] : Springer, 2017. - ISBN 9783319615806. - pp. 246-256 (( Intervento presentato al 14. convegno ECSQARU tenutosi a Lugano nel 2017.
On Boolean Algebras of Conditionals and Their Logical Counterpart
H. Hosni
2017
Abstract
This paper sheds a novel light on the longstanding problem of investigating the logic of conditional events. Building on the framework of Boolean algebras of conditionals previously introduced by the authors, we make two main new contributions. First, we fully characterise the atomic structure of these algebras of conditionals. Second, we introduce the logic of Boolean conditionals (LBC) and prove its completeness with respect to the natural semantics induced by the structural properties of the atoms in a conditional algebra as described in the first part. In addition we outline the close connection of LBC with preferential consequence relations, arguably one of the most appreciated systems of non-monotonic reasoning.File | Dimensione | Formato | |
---|---|---|---|
flaminio-godo-hosni-ecsqaru17-final.pdf
accesso riservato
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
320.1 kB
Formato
Adobe PDF
|
320.1 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.