Algebraic aspects and coherence conditions for conjoined and disjoined conditionals

Giuseppe Sanfilippo, Angelo Gilio, Giuseppe Sanfilippo

Risultato della ricerca: Articlepeer review

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.
Lingua originaleEnglish
pagine (da-a)98-123
Numero di pagine26
RivistaInternational Journal of Approximate Reasoning
Volume126
Stato di pubblicazionePublished - 2020

All Science Journal Classification (ASJC) codes

  • ???subjectarea.asjc.1700.1712???
  • ???subjectarea.asjc.2600.2614???
  • ???subjectarea.asjc.1700.1702???
  • ???subjectarea.asjc.2600.2604???

Fingerprint

Entra nei temi di ricerca di 'Algebraic aspects and coherence conditions for conjoined and disjoined conditionals'. Insieme formano una fingerprint unica.

Cita questo