Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
نویسندگان
چکیده
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherencebased 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.
منابع مشابه
Probabilistic Logic under Coherence, Model-theoretic Probabilistic Logic, and Default Reasoning Probabilistic Logic under Coherence, Model-theoretic Probabilistic Logic, and Default Reasoning
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. Cru...
متن کاملNonmonotonic Probabilistic Logics between Model-theoretic Probabilistic Logic and Probabilistic Logic under Coherence Nonmonotonic Probabilistic Logics between Model-theoretic Probabilistic Logic and Probabilistic Logic under Coherence
Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P . In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated notions of classical default entailment that...
متن کاملProbabilistic Logic under Coherence, Model-theoretic Probabilistic Logic, and Default Reasoning in System Probabilistic Logic under Coherence, Model-theoretic Probabilistic Logic, and Default Reasoning in System
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 model-theoretic probabilistic reasoning and to default reasoning in System . In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabil...
متن کاملP ROBABILISTIC L OGIC UNDER C OHERENCE : C OMPLEXITY AND A LGORITHMS Veronica BIAZZO Thomas LUKASIEWICZ Angelo GILIO Giuseppe SANFILIPPO
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and classical 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 reas...
متن کاملNonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence
Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P . In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated notions of classical default entailment that...
متن کامل