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

Giuseppe Sanfilippo, Angelo Gilio, Giuseppe Sanfilippo, Veronica Biazzo, Thomas Lukasiewicz

Risultato della ricerca: Articlepeer review

37 Citazioni (Scopus)

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.
Lingua originaleEnglish
pagine (da-a)189-213
Numero di pagine25
RivistaJournal of Applied Non-Classical Logics
Volume12
Stato di pubblicazionePublished - 2002

All Science Journal Classification (ASJC) codes

  • Philosophy
  • Logic

Fingerprint Entra nei temi di ricerca di 'Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P'. Insieme formano una fingerprint unica.

Cita questo