Quasi Conjunction, Quasi Disjunction, T-norms and T-conorms: Probabilistic Aspects

Abstract

We make a probabilistic analysis related to some inference rules which play an important role in nonmonotonic reasoning. In a coherence-based setting, we study the extensions of a probability assessment defined on $n$ conditional events to their quasi conjunction, and by exploiting duality, to their quasi disjunction. The lower and upper bounds coincide with some well known t-norms and t-conorms: minimum, product, Lukasiewicz, and Hamacher t-norms and their dual t-conorms. On this basis we obtain Quasi And and Quasi Or rules. These are rules for which any finite family of conditional events p-entails the associated quasi conjunction and quasi disjunction. We examine some cases of logical dependencies, and we study the relations among coherence, inclusion for conditional events, and p-entailment. We also consider the Or rule, where quasi conjunction and quasi disjunction of premises coincide with the conclusion. We analyze further aspects of quasi conjunction and quasi disjunction, by computing probabilistic bounds on premises from bounds on conclusions. Finally, we consider biconditional events, and we introduce the notion of an $n$-conditional event. Then we give a probabilistic interpretation for a generalized Loop rule. In an appendix we provide explicit expressions for the Hamacher t-norm and t-conorm in the unitary hypercube.

References in corpus (2)

• Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
• Reassessing Accuracy Rates of Median Decisions

Cited by in corpus (14)

• Conditional Random Quantities and Compounds of Conditionals
• Probabilistic squares and hexagons of opposition under coherence
• Probabilities of conditionals and previsions of iterated conditionals
• Probabilistic inferences from conjoined to iterated conditionals
• Generalized Logical Operations among Conditional Events
• Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
• Boolean algebras of conditionals, probability and logic
• The Goodman-Nguyen Relation within Imprecise Probability Theory
• Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
• Conjunction of Conditional Events and T-norms
• Iterated Conditionals and Characterization of P-entailment
• Interpreting connexive principles in coherence-based probability logic
• On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems
• Probabilistic-valued decomposable set functions with respect to triangle functions