Title
Transitivity in coherence-based probability logic
Abstract
We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Moreover, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases. Finally, we apply our results to study selected probabilistic versions of classical categorical syllogisms and construct a new version of the square of opposition in terms of defaults and negated defaults.
Year
DOI
Venue
2016
10.1016/j.jal.2015.09.012
Journal of Applied Logic
Keywords
Field
DocType
syllogisms,transitivity,square of opposition,defaults,coherence,imprecise probability,probability logic
Syllogism,Square of opposition,Inference,Categorical variable,Imprecise probability,Algorithm,Coherence (physics),Artificial intelligence,Probabilistic logic,Mathematics,Transitive relation
Journal
Volume
Issue
ISSN
14
C
1570-8683
Citations 
PageRank 
References 
13
0.71
24
Authors
3
Name
Order
Citations
PageRank
Angelo Gilio141942.04
Niki Pfeifer2749.14
Giuseppe Sanfilippo320417.14