Finitely maxitive T-conditional possibility theory: Coherence and extension

Starting from the axiomatic definition of finitely maxitive T-conditional possibility (where T is a continuous triangular norm), the paper aims at a comprehensive and self-contained treatment of coherence and extension of a possibilistic assessment defined on an arbitrary set of conditional events. Coherence (or consistence with a T-conditional possibility) is characterized either in terms of existence of a linearly ordered class of finitely maxitive possibility measures (T-nested class) agreeing with the assessment, or in terms of solvability of a finite sequence of nonlinear systems for every finite subfamily of conditional events. Coherence reveals to be a necessary and sufficient condition for the extendibility of an assessment to any superset of conditional events and, in the case of T equal to the minimum or a strict t-norm, the set of coherent values for the possibility of a new conditional event can be computed solving two optimization problems over a finite sequence of nonlinear systems for every finite subfamily of conditional events. Representation of a full T-conditional possibility through a (unique) T-nested class.Characterization of coherence for a T-conditional possibility assessment.Coherent extension of a coherent T-conditional possibility assessment.Topological properties of the set of coherent extensions.Problems related to conditioning for necessity measures.

[1]  Paul Poncet.  Infinite-dimensional idempotent analysis : the role of continuous posets , 2011 .

[2]  E. Hisdal.  Conditional possibilities independence and noninteraction , 1978 .

[3]  Giulianella Coletti,et al.  T-conditional possibilities: Coherence and inference , 2009, Fuzzy Sets Syst..

[4]  Giulianella Coletti,et al.  Coherent T-conditional Possibility Envelopes and Nonmonotonic Reasoning , 2014, IPMU.

[5]  N. Shilkret.  Maxitive measure and integration , 1971 .

[6]  Anatolii A. Puhalskii,et al.  Large Deviations and Idempotent Probability , 2001 .

[7]  Radko Mesiar,et al.  Triangular Norms , 2000, Trends in Logic.

[8]  N. Singpurwalla,et al.  Membership Functions and Probability Measures of Fuzzy Sets , 2004 .

[9]  B. D. Finetti,et al.  Probability, induction and statistics : the art of guessing , 1979 .

[10]  Giulianella Coletti,et al.  Conditional belief functions as lower envelopes of conditional probabilities in a finite setting , 2016, Inf. Sci..

[11]  Joseph K. Blitzstein,et al.  Conditional probability , 2018, Fat Chance.

[12]  Giulianella Coletti,et al.  Finitely maxitive conditional possibilities, Bayesian-like inference, disintegrability and conglomerability , 2016, Fuzzy Sets Syst..

[13]  Eugenio Regazzini,et al.  De Finetti's Coherence and Statistical Inference , 1987 .

[14]  Bernadette Bouchon-Meunier,et al.  Conditional possibility and necessity , 2002 .

[15]  Giulianella Coletti,et al.  Possibility theory: Conditional independence , 2006, Fuzzy Sets Syst..

[16]  Didier Dubois,et al.  Bayesian conditioning in possibility theory , 1997, Fuzzy Sets Syst..

[17]  Nehad N. Morsi,et al.  Generalized Possibility Measures , 1994, Inf. Sci..

[18]  G. Cooman.  POSSIBILITY THEORY I: THE MEASURE- AND INTEGRAL-THEORETIC GROUNDWORK , 1997 .

[19]  Davide Petturiti,et al.  Asymmetric decomposability and persegram representation in coherent conditional probability theory , 2013, Soft Comput..

[20]  D. Dubois,et al.  When upper probabilities are possibility measures , 1992 .

[21]  Francesc Esteva,et al.  Review of Triangular norms by E. P. Klement, R. Mesiar and E. Pap. Kluwer Academic Publishers , 2003 .

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

[23]  Ricardo D. Katz,et al.  The tropical analogue of polar cones , 2008, 0805.3688.

[24]  Barbara Vantaggi,et al.  Independence and conditional possibility for strictly monotone triangular norms: Research Articles , 2006 .

[25]  Giulianella Coletti,et al.  Coherent Numerical and Ordinal Probabilistic Assessments , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[26]  Bernadette Bouchon,et al.  Fuzzy inferences and conditional possibility distributions , 1987 .

[27]  Giulianella Coletti,et al.  Independence in Possibility Theory under Different Triangular Norms , 2013, ECSQARU.

[28]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[29]  P. M. Williams.  Notes on conditional previsions q , 2007 .

[30]  Giulianella Coletti,et al.  Inferential models and relevant algorithms in a possibilistic framework , 2011, Int. J. Approx. Reason..

[31]  Hung T. Nguyen,et al.  Random sets and large deviations principle as a foundation for possibility measures , 2003, Soft Comput..

[32]  Bernadette Bouchon-Meunier,et al.  Independence and Possibilistic Conditioning , 2000, Annals of Mathematics and Artificial Intelligence.

[33]  Marco Baioletti,et al.  Algorithms for possibility assessments: Coherence and extension , 2011, Fuzzy Sets Syst..

[34]  Giulianella Coletti,et al.  Coherent Conditional Probability as a Measure of Uncertainty of the Relevant Conditioning Events , 2003, ECSQARU.

[35]  D Dubois,et al.  Belief structures, possibility theory and decomposable confidence measures on finite sets , 1986 .

[36]  Inés Couso,et al.  A random set characterization of possibility measures , 2004, Inf. Sci..

[37]  J. J. Uhl.  THEORY OF CHARGES A Study of Finitely Additive Measures , 1984 .

[38]  Arthur P. Dempster,et al.  Upper and Lower Probabilities Induced by a Multivalued Mapping , 1967, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[39]  R. Scozzafava,et al.  Probabilistic Logic in a Coherent Setting , 2002 .

[40]  Xavier Allamigeon,et al.  Tropical polar cones, hypergraph transversals, and mean payoff games , 2010, ArXiv.

[41]  Barbara Vantaggi,et al.  Independence and conditional possibility for strictly monotone triangular norms , 2006, Int. J. Intell. Syst..

[42]  Inés Couso,et al.  Relationships Between Possibility Measures and Nested Random Sets , 2002, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[43]  Giulianella Coletti,et al.  Conditioning and inference in intelligent systems , 1999, Soft Comput..

[44]  Giulianella Coletti,et al.  A view on conditional measures through local representability of binary relations , 2008, Int. J. Approx. Reason..

[45]  Hung T. Nguyen,et al.  On conditional possibility distributions , 1978 .

[46]  A. Rényi,et al.  On Conditional Probability Spaces Generated by a Dimensionally Ordered Set of Measures , 1956 .

[47]  P. M. Williams,et al.  Notes on conditional previsions , 2007, Int. J. Approx. Reason..

[48]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[49]  G. Buttazzo,et al.  The Class of Functionals which can be Represented by a Supremum , 2002 .

[50]  菅野 道夫,et al.  Theory of fuzzy integrals and its applications , 1975 .

[51]  Romano Scozzafava,et al.  Characterization of coherent Conditional Probabilities as a Tool for their Assessment and Extension , 1996, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[52]  Gert de Cooman.  Integration and Conditioning in Numerical Possibility Theory , 2004, Annals of Mathematics and Artificial Intelligence.

[53]  Giulianella Coletti,et al.  From Conditional Events to Conditional Measures: A New Axiomatic Approach , 2004, Annals of Mathematics and Artificial Intelligence.

[54]  Nitakshi Goyal,et al.  General Topology-I , 2017 .

[55]  Thomas E. Armstrong,et al.  Countably additive full conditional probabilities , 1989 .

[56]  Giulianella Coletti,et al.  Inferential processes leading to possibility and necessity , 2013, Inf. Sci..

[57]  Etienne E. Kerre,et al.  Possibility measures and possibility integrals defined on a complete lattice , 2001, Fuzzy Sets Syst..

[58]  Didier Dubois,et al.  Possibility Theory: Qualitative and Quantitative Aspects , 1998 .

[59]  Gert de Cooman,et al.  POSSIBILITY THEORY II: CONDITIONAL POSSIBILITY , 1997 .

[60]  L. Dubins.  Finitely Additive Conditional Probabilities, Conglomerability and Disintegrations , 1975 .

[61]  P. Krauss,et al.  Representation of conditional probability measures on Boolean algebras , 1968 .

[62]  Giulianella Coletti,et al.  Possibilistic and probabilistic likelihood functions and their extensions: Common features and specific characteristics , 2014, Fuzzy Sets Syst..

[63]  Giulianella Coletti,et al.  Integrated Likelihood in a Finitely Additive Setting , 2009, ECSQARU.

[64]  Marianne Akian,et al.  Densities of idempotent measures and large deviations , 1999 .

[65]  Giuseppe Busanello,et al.  DAG representation of asymmetric independence models arising in coherent conditional possibility theory , 2014, Fuzzy Sets Syst..