We generalize the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. These notions are defined, in the setting of coherence, by means of suitable conditional random quantities with values in the interval $[0,1]$. We also define the notion of negation, by verifying De Morgan's Laws. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals and we show that some well known properties which are satisfied by conjunctions and disjunctions of unconditional events are also satisfied by conjunctions and disjunction of conditional events. We also examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. We consider the relation between the conjunction and other different definitions of conjunction among conditional events. In particular, we consider the notion of quasi-conjunction which is largely studied in non monotonic reasoning. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to the inference rules emph{And}, emph{Cut}, emph{Cautious Monotonicity}, and emph{Or} of System P. Then, we examine some non p-valid inference rules (emph{transitivity} and an example from Boole) by also illustrating two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. We introduce a notion of iterated conditional and we characterize p-entailment by showing that a (p-consistent) family $F={A|H,B|K}$ p-entails $E|H$ if and only if $(E|H) | C(F)=1$, where $C(F)$ is the conjunction of the conditional events in $F$.

Giuseppe Sanfilippo (2019). Logical Operations among Conditional Events: theoretical aspects and applications. In A. Buonocore, A. Di Crescenzo (a cura di), BOOK OF ABSTRACTS Second Italian Meeting on Probability and Mathematical Statistics (pp. 158-158). Associazione di volontariato PrismaCampania.

Logical Operations among Conditional Events: theoretical aspects and applications

Giuseppe Sanfilippo
2019-01-01

Abstract

We generalize the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. These notions are defined, in the setting of coherence, by means of suitable conditional random quantities with values in the interval $[0,1]$. We also define the notion of negation, by verifying De Morgan's Laws. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals and we show that some well known properties which are satisfied by conjunctions and disjunctions of unconditional events are also satisfied by conjunctions and disjunction of conditional events. We also examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. We consider the relation between the conjunction and other different definitions of conjunction among conditional events. In particular, we consider the notion of quasi-conjunction which is largely studied in non monotonic reasoning. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to the inference rules emph{And}, emph{Cut}, emph{Cautious Monotonicity}, and emph{Or} of System P. Then, we examine some non p-valid inference rules (emph{transitivity} and an example from Boole) by also illustrating two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. We introduce a notion of iterated conditional and we characterize p-entailment by showing that a (p-consistent) family $F={A|H,B|K}$ p-entails $E|H$ if and only if $(E|H) | C(F)=1$, where $C(F)$ is the conjunction of the conditional events in $F$.
2019
Conditional events, conditional random quantities, conjunction, disjunction, negation, coherent prevision assessments, coherent extensions, quasi conjunction, probabilistic reasoning, p-entailment, inference rules, iterated conditionals, System P.
979-12-200-4788-3
Giuseppe Sanfilippo (2019). Logical Operations among Conditional Events: theoretical aspects and applications. In A. Buonocore, A. Di Crescenzo (a cura di), BOOK OF ABSTRACTS Second Italian Meeting on Probability and Mathematical Statistics (pp. 158-158). Associazione di volontariato PrismaCampania.
File in questo prodotto:
File Dimensione Formato  
BookOfAbstracts-2.pdf

accesso aperto

Tipologia: Versione Editoriale
Dimensione 1.33 MB
Formato Adobe PDF
1.33 MB 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/390517
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact