Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects

DOI10.1016/J.INS.2013.03.019zbMATH Open1320.68188arXiv1303.5016OpenAlexW1976820445MaRDI QIDQ497553FDOQ497553

Giuseppe Sanfilippo, Angelo Gilio

Publication date: 24 September 2015

Published in: Information Sciences (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1303.5016

Recommendations

• Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation
• Quasi conjunction and inclusion relation in probabilistic default reasoning
• Generalizing inference rules in a coherence-based probabilistic default reasoning
• Conjunction, disjunction and iterated conditioning of conditional events
• Lower and upper probability bounds for some conjunctions of two conditional events

zbMATH Keywords

coherencegeneralized loop ruleGoodman-Nguyen inclusion relationlower/upper probability boundsquasi conjunction/disjunctiont-norms/conorms

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• An introduction to copulas. Properties and applications
• Aggregation functions.
• Triangular norms
• Nonmonotonic reasoning, preferential models and cumulative logics
• Stochastic independence in a coherent setting
• Coherent Conditional Previsions and Proper Scoring Rules
• Inferential processes leading to possibility and necessity
• Associative functions. Triangular norms and copulas
• Title not available (Why is that?)
• Correction of incoherent conditional probability assessments
• The logic of conditionals. An application of probability to deductive logic
• Title not available (Why is that?)
• Statistical Metrics
• Generalized Bayesian inference in a fuzzy context: from theory to a virtual reality application
• Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP
• Aggregation functions: means
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nonmonotonic reasoning, conditional objects and possibility theory
• Title not available (Why is that?)
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Probabilistic logic under coherence: complexity and algorithms
• Probabilistic reasoning under coherence in System P
• A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments
• Coherence checking and propagation of lower probability bounds
• Framing human inference by coherence based probability logic
• Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
• Sur la structure des espaces de probabilité conditionnelle
• Generalizing inference rules in a coherence-based probabilistic default reasoning
• Conditional objects as nonmonotonic consequence relationships
• Title not available (Why is that?)
• Title not available (Why is that?)
• Aggregation functions: construction methods, conjunctive, disjunctive and mixed classes
• The psychology of inferring conditionals from disjunctions: a probabilistic study
• Title not available (Why is that?)
• A class of bivariate distributions including the bivariate logistic
• Coherent Conditional Probability in a Fuzzy Logic Setting
• Fuzzy inclusion and similarity through coherent conditional probability
• Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation
• Incoherence correction strategies in statistical matching
• Conjunction, Disjunction and Iterated Conditioning of Conditional Events
• Ockham’s Razor in Probability Logic
• Relational Probabilistic Conditional Reasoning at Maximum Entropy
• Relationships between Connectives in Three-Valued Logics

Cited In (24)

• Coherent T-conditional Possibility Envelopes and Nonmonotonic Reasoning
• Probability propagation rules for Aristotelian syllogisms
• Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation
• Fuzzy memberships as likelihood functions in a possibilistic framework
• Transitive Reasoning with Imprecise Probabilities
• Possibilistic and Probabilistic Logic under Coherence: Default Reasoning and System P
• Iterated conditionals and characterization of P-entailment
• Probabilities of conditionals and previsions of iterated conditionals
• Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
• The Goodman-Nguyen relation within imprecise probability theory
• Conditional random quantities and compounds of conditionals
• Reasoning about uncertain conditionals
• Boolean algebras of conditionals, probability and logic
• Conditional \(p\)-adic probability logic
• Predictive distributions that mimic frequencies over a restricted subdomain
• Probabilistic squares and hexagons of opposition under coherence
• On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals
• Transitivity in coherence-based probability logic
• Statistical analysis of parametric t-norms
• On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle
• Probabilistic inferences from conjoined to iterated conditionals
• Interpreting connexive principles in coherence-based probability logic
• Connexive logic, probabilistic default reasoning, and compound conditionals
• Probabilistic-valued decomposable set functions with respect to triangle functions

This page was built for publication: Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q497553)