We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by n conditional events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula and we prove a suitable distributivity property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on F cup K, where K is the set of conditional constituents associated with the conditional events in F. Then, we give a further theoretical result and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications.

Gilio, A., Sanfilippo, G. (2020). Algebraic aspects and coherence conditions for conjoined and disjoined conditionals. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 126, 98-123 [10.1016/j.ijar.2020.08.004].

Algebraic aspects and coherence conditions for conjoined and disjoined conditionals

Sanfilippo, Giuseppe
2020-01-01

Abstract

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by n conditional events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula and we prove a suitable distributivity property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on F cup K, where K is the set of conditional constituents associated with the conditional events in F. Then, we give a further theoretical result and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications.
2020
Settore MAT/06 - Probabilita' E Statistica Matematica
Settore MAT/01 - Logica Matematica
Gilio, A., Sanfilippo, G. (2020). Algebraic aspects and coherence conditions for conjoined and disjoined conditionals. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 126, 98-123 [10.1016/j.ijar.2020.08.004].
File in questo prodotto:
File Dimensione Formato  
ijar20GS.pdf

Solo gestori archvio

Tipologia: Versione Editoriale
Dimensione 705.12 kB
Formato Adobe PDF
705.12 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
1909.11996.pdf

accesso aperto

Tipologia: Pre-print
Dimensione 404.65 kB
Formato Adobe PDF
404.65 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10447/430663
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 7
social impact