6533b870fe1ef96bd12cf136
RESEARCH PRODUCT
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
Thomas LukasiewiczAngelo GilioGiuseppe SanfilippoVeronica Biazzosubject
Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaKnowledge representation and reasoningComputer scienceDefault logicDivergence-from-randomness modelLogic modelcomputer.software_genreLogical consequenceProbabilistic logic networkConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment default reasoning from conditional knowledge bases System P conditional objectsprobabilistic logic under coherenceNon-monotonic logicProbabilistic relevance modeldefault reasoningmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicProbabilistic argumentationExpert systemg-coherencesystem pProbabilistic CTLArtificial intelligencebusinesscomputerdefault reasoning; g-coherence; model-theoretic probabilistic logic; probabilistic logic under coherence; system pdescription
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabilities. These results also give new insight into default reasoning with conditional objects.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2001-01-01 |