TY - GEN
T1 - Probability Propagation in Selected Aristotelian Syllogisms
AU - Sanfilippo, Giuseppe
AU - Pfeifer, Niki
PY - 2019
Y1 - 2019
N2 - This paper continues our work on a coherence-based probability semantics for Aristotelian syllogisms (Gilio, Pfeifer, and Sanfilippo, 2016; Pfeifer and Sanfilippo, 2018) by studying Figure III under coherence. We interpret the syllogistic sentence types by suitable conditional probability assessments. Since the probabilistic inference of $P|S$ from the premise set ${P|M, S|M}$ is not informative, we add $p(M|(S ee M))>0$ as a probabilistic constraint (i.e., an ``existential import assumption'') to obtain probabilistic informativeness. We show how to propagate the assigned premise probabilities to the conclusion. Thereby, we give a probabilistic meaning to all syllogisms of Figure~III. We discuss applications like generalised quantifiers (like Most $S$ are $P$) and (negated) defaults
AB - This paper continues our work on a coherence-based probability semantics for Aristotelian syllogisms (Gilio, Pfeifer, and Sanfilippo, 2016; Pfeifer and Sanfilippo, 2018) by studying Figure III under coherence. We interpret the syllogistic sentence types by suitable conditional probability assessments. Since the probabilistic inference of $P|S$ from the premise set ${P|M, S|M}$ is not informative, we add $p(M|(S ee M))>0$ as a probabilistic constraint (i.e., an ``existential import assumption'') to obtain probabilistic informativeness. We show how to propagate the assigned premise probabilities to the conclusion. Thereby, we give a probabilistic meaning to all syllogisms of Figure~III. We discuss applications like generalised quantifiers (like Most $S$ are $P$) and (negated) defaults
UR - http://hdl.handle.net/10447/369492
M3 - Conference contribution
SN - 978-3-030-29764-0; 978-3-030-29765-7
T3 - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
SP - 419
EP - 431
BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
15th European Conference, ECSQARU 2019 Belgrade, Serbia, September 18–20, 2019 Proceedings
ER -