In the present paper, we propose a general logical approach for reasoning about probability functions, belief functions, lower probabilities and the corresponding duals. The logical setting we consider combines the modal logic S5, Łukasiewicz logic and an additional modality P that is applied to boolean formulas formalises probability functions. The modality P together with an S5 modal box provides a language rich enough to characterise probability, belief and lower probability theories.

Towards a Unified View on Logics for Uncertainty / E.A. Corsi, T. Flaminio, H. Hosni (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Scalable Uncertainty Management / [a cura di] F. Dupin de Saint-Cyr, M. Öztürk-Escoffier, N. Potyka. - [s.l] : Springer, 2022 Oct. - ISBN 978-3-031-18842-8. - pp. 329-337 (( Intervento presentato al 15. convegno SUM tenutosi a Paris nel 2022 [10.1007/978-3-031-18843-5_22].

Towards a Unified View on Logics for Uncertainty

E.A. Corsi
Primo
;
H. Hosni
Ultimo
2022

Abstract

In the present paper, we propose a general logical approach for reasoning about probability functions, belief functions, lower probabilities and the corresponding duals. The logical setting we consider combines the modal logic S5, Łukasiewicz logic and an additional modality P that is applied to boolean formulas formalises probability functions. The modality P together with an S5 modal box provides a language rich enough to characterise probability, belief and lower probability theories.
Fuzzy logic; Dempster-Shafer belief functions; Probability functions; Imprecise probabilities; Modal logic
Settore M-FIL/02 - Logica e Filosofia della Scienza
Settore MAT/01 - Logica Matematica
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
978-3-031-18843-5_22.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 411.58 kB
Formato Adobe PDF
411.58 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

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/2434/943267
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact