Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning
<p>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 expre...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2001
|
| _version_ | 1826299932347203584 |
|---|---|
| author | Biazzo, V Gilio, A Lukasiewicz, T Sanfilippo, G |
| author_facet | Biazzo, V Gilio, A Lukasiewicz, T Sanfilippo, G |
| author_sort | Biazzo, V |
| collection | OXFORD |
| description | <p>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 <em>P</em>. That is, we provide a new probabilistic semantics for system <em>P</em>, 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.</p> |
| first_indexed | 2024-03-07T05:09:27Z |
| format | Conference item |
| id | oxford-uuid:db0f7afb-9e9f-4b8b-a833-50e777bff994 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T05:09:27Z |
| publishDate | 2001 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:db0f7afb-9e9f-4b8b-a833-50e777bff9942022-03-27T09:07:46ZProbabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default ReasoningConference itemhttp://purl.org/coar/resource_type/c_5794uuid:db0f7afb-9e9f-4b8b-a833-50e777bff994Department of Computer ScienceSpringer2001Biazzo, VGilio, ALukasiewicz, TSanfilippo, G<p>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 <em>P</em>. That is, we provide a new probabilistic semantics for system <em>P</em>, 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.</p> |
| spellingShingle | Biazzo, V Gilio, A Lukasiewicz, T Sanfilippo, G Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning |
| title | Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning |
| title_full | Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning |
| title_fullStr | Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning |
| title_full_unstemmed | Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning |
| title_short | Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning |
| title_sort | probabilistic logic under coherence model theoretic probabilistic logic and default reasoning |
| work_keys_str_mv | AT biazzov probabilisticlogicundercoherencemodeltheoreticprobabilisticlogicanddefaultreasoning AT gilioa probabilisticlogicundercoherencemodeltheoreticprobabilisticlogicanddefaultreasoning AT lukasiewiczt probabilisticlogicundercoherencemodeltheoreticprobabilisticlogicanddefaultreasoning AT sanfilippog probabilisticlogicundercoherencemodeltheoreticprobabilisticlogicanddefaultreasoning |