Generalized probabilistic modus ponens

DOI10.1007/978-3-319-61581-3_43MaRDI QIDQ2401897zbMATH OpenOpenAlexFDO

Authors Giuseppe Sanfilippo, Niki Pfeifer, Angelo Gilio

Publication date 5 September 2017

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

zbMATH Keywords

coherenceconditional random quantitiesconjoined conditionalsiterated conditionalsmodus ponensprevision

Mathematics Subject Classification ID

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

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.

Recommendations

• Probabilistic estimation for generalized rough modus ponens and rough modus tollens
• Probability propagation in generalized inference forms
• Inference in conditional probability logic
• Generalized rule of modus ponens
• A Suggested Conditional Modus Ponens

Cited in

(18)

• Modus ponens and modus tollens for conditional probabilities, and updating on uncertain evidence
• Probabilistic inferences from conjoined to iterated conditionals
• Probabilistic estimation for generalized rough modus ponens and rough modus tollens
• 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
• Deciding Koopman's qualitative probability
• Probabilistic squares and hexagons of opposition under coherence
• Generalized rule of modus ponens
• Modus TollensProbabilized
• Chancy Modus Ponens
• Inference in conditional probability logic
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Generalizing probabilistic material implication and Bayesian conditionals
• Syntactic reasoning with conditional probabilities in deductive argumentation
• Probability propagation rules for Aristotelian syllogisms
• On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle
• Probability propagation in generalized inference forms

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)