TY - JOUR
T1 - Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P
AU - Sanfilippo, Giuseppe
AU - Gilio, Angelo
AU - Sanfilippo, Giuseppe
AU - Biazzo, Veronica
AU - Lukasiewicz, Thomas
PY - 2002
Y1 - 2002
N2 - We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to modeltheoretic probabilistic reasoning and to default reasoning in System P. In particular, 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. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or big-stepped) probabilities. These results also provide new algorithms for probabilistic reasoning under coherence and for default reasoning in System P, and they give new insight into default reasoning with conditional objects.
AB - We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to modeltheoretic probabilistic reasoning and to default reasoning in System P. In particular, 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. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or big-stepped) probabilities. These results also provide new algorithms for probabilistic reasoning under coherence and for default reasoning in System P, and they give new insight into default reasoning with conditional objects.
KW - Conditional probability assessments
KW - System P
KW - conditional constraints
KW - conditional objects.
KW - defaultreasoning from conditional knowledge bases
KW - g-coherence
KW - g-coherent entailment
KW - model-theoretic probabilistic logic
KW - probabilistic logic under coherence
KW - Conditional probability assessments
KW - System P
KW - conditional constraints
KW - conditional objects.
KW - defaultreasoning from conditional knowledge bases
KW - g-coherence
KW - g-coherent entailment
KW - model-theoretic probabilistic logic
KW - probabilistic logic under coherence
UR - http://hdl.handle.net/10447/51837
M3 - Article
VL - 12
SP - 189
EP - 213
JO - Journal of Applied Non-Classical Logics
JF - Journal of Applied Non-Classical Logics
SN - 1166-3081
ER -