In the elementary case of finitely many events, we generalise to Gödel (propositional infinite-valued) logic --- one of the fundamental fuzzy logics in the sense of Hájek --- the classical correspondence between partitions, quotient measure spaces, and push-forward measures. To achieve this end, appropriate Gödelian analogues of the Boolean notions of probability assignment and partition are needed. Concerning the former, we use a notion of probability assignment introduced in the literature by the third-named author et al. Concerning the latter, we introduce and use open partitions, whose definition is justified by independent considerations on the relational semantics of Gödel logic (or, more generally, of the finite slice of intuitionistic logic). Our main result yields a construction of finite quotient measure spaces in the Gödelian setting that closely parallels its classical counterpart.

Open Partitions and Probability Assignments in Gödel Logic / P. Codara, O. M. D'Antona, V. Marra - In: Symbolic and quantitative approaches to reasoning with uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009 : proceedings / [a cura di] C. Sossai, G. Chemello. - Berlin : Springer, 2009. - ISBN 9783642029059. - pp. 911-922 (( Intervento presentato al 10th. convegno European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009) tenutosi a Verona, Italy nel 2009 [10.1007/978-3-642-02906-6_78].

Open Partitions and Probability Assignments in Gödel Logic

P. Codara
Primo
;
O.M. D'Antona
Secondo
;
V. Marra
Ultimo
2009

Abstract

In the elementary case of finitely many events, we generalise to Gödel (propositional infinite-valued) logic --- one of the fundamental fuzzy logics in the sense of Hájek --- the classical correspondence between partitions, quotient measure spaces, and push-forward measures. To achieve this end, appropriate Gödelian analogues of the Boolean notions of probability assignment and partition are needed. Concerning the former, we use a notion of probability assignment introduced in the literature by the third-named author et al. Concerning the latter, we introduce and use open partitions, whose definition is justified by independent considerations on the relational semantics of Gödel logic (or, more generally, of the finite slice of intuitionistic logic). Our main result yields a construction of finite quotient measure spaces in the Gödelian setting that closely parallels its classical counterpart.
English
Gödel logic ; partition ; probability
Intervento a convegno
Esperti anonimi
Symbolic and quantitative approaches to reasoning with uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009 : proceedings
C. Sossai, G. Chemello
Berlin
Springer
2009
911
922
9783642029059
5590
Volume a diffusione internazionale
European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)
Verona, Italy
2009
10th
Convegno internazionale
Intervento inviato
P. Codara, O.M. D'Antona, V. Marra
Book Part (author)
none
273
Open Partitions and Probability Assignments in Gödel Logic / P. Codara, O. M. D'Antona, V. Marra - In: Symbolic and quantitative approaches to reasoning with uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009 : proceedings / [a cura di] C. Sossai, G. Chemello. - Berlin : Springer, 2009. - ISBN 9783642029059. - pp. 911-922 (( Intervento presentato al 10th. convegno European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009) tenutosi a Verona, Italy nel 2009 [10.1007/978-3-642-02906-6_78].
info:eu-repo/semantics/conferenceObject
3
Prodotti della ricerca::03 - Contributo in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.
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/72808
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact