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 -