Generalized probabilistic modus ponens

DOI10.1007/978-3-319-61581-3_43zbMATH Open1491.68209arXiv1705.00385OpenAlexW2611198522MaRDI QIDQ2401897FDOQ2401897

Niki Pfeifer, Giuseppe Sanfilippo, Angelo Gilio

Publication date: 5 September 2017

Abstract: Modus ponens (emph{from $A$ and "if $A$ then $C$" infer $C$}, short: MP) is one of the most basic inference rules. The probabilistic MP allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from $P(A)$ and $P(C|A)$ infer $P(C)$). In this paper, we generalize the probabilistic MP by replacing $A$ by the conditional event $A|H$. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic MP coincide with the respective bounds on the conclusion for the (non-nested) probabilistic MP.

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

zbMATH Keywords

coherencemodus ponensprevisionconditional random quantitiesiterated conditionalsconjoined conditionals

Mathematics Subject Classification ID

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

Cited In (13)

• Probability propagation rules for Aristotelian syllogisms
• Deciding Koopman's qualitative probability
• Iterated conditionals and characterization of P-entailment
• Generalizing probabilistic material implication and Bayesian conditionals
• Probabilities of conditionals and previsions of iterated conditionals
• Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
• Modus ponens and modus tollens for conditional probabilities, and updating on uncertain evidence
• Probabilistic squares and hexagons of opposition under coherence
• Chancy Modus Ponens
• Syntactic reasoning with conditional probabilities in deductive argumentation
• On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle
• Probabilistic inferences from conjoined to iterated conditionals
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This page was built for publication: Generalized probabilistic modus ponens

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