Transitivity in coherence-based probability logic

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Moreover, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases. Finally, we apply our results to study selected probabilistic versions of classical categorical syllogisms and construct a new version of the square of opposition in terms of defaults and negated defaults.

[1]  F. Lad Operational Subjective Statistical Methods: A Mathematical, Philosophical, and Historical Introduction , 1996 .

[2]  Niki Pfeifer,et al.  Coherence and Nonmonotonicity in Human Reasoning , 2005, Synthese.

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

[4]  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..

[5]  Niki Pfeifer,et al.  On Argument Strength , 2013 .

[6]  Niki Pfeifer,et al.  Experiments on Aristotle’s Thesis: Towards an Experimental Philosophy of Conditionals , 2012 .

[7]  Giulianella Coletti,et al.  Probabilistic Reasoning as a General Unifying Tool , 2001, ECSQARU.

[8]  Angelo Gilio,et al.  Probabilistic Reasoning Under Coherence in System P , 2002, Annals of Mathematics and Artificial Intelligence.

[9]  Andrea Capotorti,et al.  Locally strong coherence and inference with lower–upper probabilities , 2003, Soft Comput..

[10]  P. Walley,et al.  Direct algorithms for checking consistency and making inferences from conditional probability assessments , 2004 .

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

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

[13]  L. Humberstone Note on Contraries and Subcontraries , 2003 .

[14]  Andrea Capotorti,et al.  Locally Strong Coherence in Inference Processes , 2002, Annals of Mathematics and Artificial Intelligence.

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

[16]  Niki Pfeifer,et al.  The new psychology of reasoning: A mental probability logical perspective , 2013 .

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

[18]  D. Westerståhl The traditional square of opposition and generalized quantifiers ∗ , 2008 .

[19]  N. Chater,et al.  The Probability Heuristics Model of Syllogistic Reasoning , 1999, Cognitive Psychology.

[20]  Angelo Gilio,et al.  A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments , 2000, Int. J. Approx. Reason..

[21]  Angelo Gilio,et al.  Transitive Reasoning with Imprecise Probabilities , 2015, ECSQARU.

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

[23]  A. Denis Rationality , 2012, Encyclopedia of Evolutionary Psychological Science.

[24]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[25]  Didier Dubois,et al.  Qualitative and quantitative conditions for the transitivity of perceived causation: , 2012, Annals of Mathematics and Artificial Intelligence.

[26]  B. D. Finetti,et al.  Foresight: Its Logical Laws, Its Subjective Sources , 1992 .

[27]  Niki Pfeifer,et al.  Reasoning About Uncertain Conditionals , 2014, Stud Logica.

[28]  Giuseppe Sanfilippo,et al.  From imprecise probability assessments to conditional probabilities with quasi additive classes of conditioning events , 2012, UAI.

[29]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

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

[31]  David H. Sanford Contraries and Subcontraries , 1968 .

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

[33]  Angelo Gilio,et al.  Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation , 2013, Int. J. Approx. Reason..

[34]  Niki Pfeifer,et al.  The conditional in mental probability logic , 2010 .

[35]  Angelo Gilio,et al.  Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning , 2011, ECSQARU.

[36]  Thomas Lukasiewicz,et al.  Probabilistic logic under coherence: complexity and algorithms , 2005, Annals of Mathematics and Artificial Intelligence.

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

[38]  F. Lad,et al.  Reassessing Accuracy Rates of Median Decisions , 2007, 1709.05637.

[39]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[40]  Didier Dubois,et al.  Qualitative reasoning with imprecise probabilities , 1993, Journal of Intelligent Information Systems.

[41]  Niki Pfeifer Contemporary syllogistics: Comparative and quantitative syllogisms , 2006 .

[42]  Daniel Lehmann,et al.  Rationality, Transitivity, and Contraposition , 1992, Artif. Intell..

[43]  Thomas Lukasiewicz,et al.  Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P , 2002, J. Appl. Non Class. Logics.

[44]  Niki Pfeifer,et al.  Framing human inference by coherence based probability logic , 2009, J. Appl. Log..

[45]  Niki Pfeifer,et al.  Inference in conditional probability logic , 2006, Kybernetika.

[46]  Angelo Gilio,et al.  Totally coherent set-valued probability assessments , 1998, Kybernetika.