Lower and Upper Probability Bounds for Some Conjunctions of Two Conditional Events

In this paper we consider, in the framework of coherence, four different definitions of conjunction among conditional events. In each of these definitions the conjunction is still a conditional event. We first recall the different definitions of conjunction; then, given a coherent probability assessment (x, y) on a family of two conditional events \(\{A|H,B|K\}\), for each conjunction \((A|H) \wedge (B|K)\) we determine the (best) lower and upper bounds for the extension \(z=P[(A|H) \wedge (B|K)]\). We show that, in general, these lower and upper bounds differ from the classical Frechet-Hoeffding bounds. Moreover, we recall a notion of conjunction studied in recent papers, such that the result of conjunction of two conditional events A|H and B|K is (not a conditional event, but) a suitable conditional random quantity, with values in the interval [0, 1]. Then, we remark that for this conjunction, among other properties, the Frechet-Hoeffding bounds are preserved.

[1]  Peter Milne,et al.  Bruno de Finetti and the Logic of Conditional Events , 1997, The British Journal for the Philosophy of Science.

[2]  L. Ferrari.  Teoria delle Probabilità , 2017 .

[3]  Angelo Gilio.  Algorithms for Conditional Probability Assessments , 1996 .

[4]  Hung T. Nguyen,et al.  Conditional inference and logic for intelligent systems - a theory of measure-free conditioning , 1991 .

[5]  D. Dubois,et al.  Conditional Objects as Nonmonotonic Consequence Relationships , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[6]  Angelo Gilio,et al.  Conjunction and Disjunction Among Conditional Events , 2017, IEA/AIE.

[7]  Angelo Gilio,et al.  Probabilistic Consistency of Knowledge Bases in Inference Systems , 1993, ECSQARU.

[8]  Angelo Gilio,et al.  Probabilistic inferences from conjoined to iterated conditionals , 2017, Int. J. Approx. Reason..

[9]  Didier Dubois,et al.  A map of dependencies among three-valued logics , 2013, Inf. Sci..

[10]  Angelo Gilio,et al.  Generalized logical operations among conditional events , 2018, Applied Intelligence.

[11]  Angelo Gilio,et al.  Conditional Random Quantities and Compounds of Conditionals , 2013, Studia Logica.

[12]  David Gale.  The theory of linear economic models , 1960 .

[13]  Angelo Gilio,et al.  Generalizing inference rules in a coherence-based probabilistic default reasoning , 2012, Int. J. Approx. Reason..

[14]  Giulianella Coletti,et al.  Coherent Conditional Probability, Fuzzy Inclusion and Default Rules , 2013, Soft Computing: State of the Art Theory and Novel Applications.

[15]  Giulianella Coletti,et al.  Possibilistic and Probabilistic Logic under Coherence: Default Reasoning and System P , 2015 .

[16]  Angelo Gilio,et al.  Quasi conjunction, quasi disjunction, t-norms and t-conorms: Probabilistic aspects , 2013, Inf. Sci..

[17]  Romano Scozzafava,et al.  Conditional probability, fuzzy sets, and possibility: a unifying view , 2004, Fuzzy Sets Syst..

[18]  Didier Dubois,et al.  Nonmonotonic Reasoning, Conditional Objects and Possibility Theory , 1997, Artif. Intell..

[19]  Didier Dubois,et al.  Relationships between Connectives in Three-Valued Logics , 2012, IPMU.

[20]  Merrie Bergmann,et al.  On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus , 1981 .

[21]  Angelo Gilio,et al.  Quasi Conjunction and p-Entailment in Nonmonotonic Reasoning , 2010, SMPS.

[22]  I. Goodman.  Conditional Objects and the Modeling of Uncertainties , 1988 .

[23]  E. W. Adams,et al.  The logic of conditionals , 1975 .

[24]  Angelo Gilio,et al.  Coherent conditional probabilities and proper scoring rules , 2011 .

[25]  Osvaldo Gervasi,et al.  Generalized Bayesian inference in a fuzzy context: From theory to a virtual reality application , 2012, Comput. Stat. Data Anal..

[26]  Renato Pelessoni,et al.  The Goodman-Nguyen relation within imprecise probability theory , 2014, Int. J. Approx. Reason..