6533b834fe1ef96bd129e17a

RESEARCH PRODUCT

Transitive reasoning with imprecise probabilities

Angelo GilioNiki PfeiferGiuseppe Sanfilippo

subject

FOS: Computer and information sciencesComputer Science - Logic in Computer ScienceArtificial Intelligence (cs.AI)Computer Science - Artificial IntelligenceProbability (math.PR)FOS: MathematicsComputer Science::Artificial IntelligenceMathematics - ProbabilityLogic in Computer Science (cs.LO)

description

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. Finally, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving the p-entailment for the associated knowledge bases.

yearjournalcountryeditionlanguage
2015-03-13
http://arxiv.org/abs/1503.04135