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.

Gilio, A., Biazzo, V., Lukasiewicz, T., Sanfilippo, G. (2002). Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 12(2), 189-213 [10.3166/jancl.12.189-213].

Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P

SANFILIPPO, Giuseppe
2002-01-01

Abstract

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.
Settore MAT/06 - Probabilita' E Statistica Matematica
Gilio, A., Biazzo, V., Lukasiewicz, T., Sanfilippo, G. (2002). Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P. JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 12(2), 189-213 [10.3166/jancl.12.189-213].
File in questo prodotto:
File Dimensione Formato  
jancl02.pdf

Solo gestori archvio

Dimensione 171.76 kB
Formato Adobe PDF
171.76 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10447/51837
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 40
  • ???jsp.display-item.citation.isi??? ND
social impact