Toward a probability theory for product logic: states, integral representation and reasoning

The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely additive probability for product logic formulas, called state, and show that every state is the Lebesgue integral with respect to a unique regular Borel probability measure. Furthermore, the relation between states and measures is shown to be one-one. In addition, we study geometrical properties of the convex set of states and show that extremal states, i.e., the extremal points of the state space, are the same as the truth-value assignments of the logic. Finally, we axiomatize a two-tiered modal logic for probabilistic reasoning on product logic events and prove soundness and completeness with respect to probabilistic spaces, where the algebra is a free product algebra and the measure is a state in the above sense.Comment: 27 pages, 1 figur

Lukasiewicz logic and Riesz spaces

We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras are categorically equivalent with unit intervals in Riesz spaces with strong unit. Moreover, the subclass of norm-complete Riesz MV-algebras is equivalent with the class of commutative unital C$^*$-algebras. The propositional calculus ${\mathbb R}{\cal L}$ that has Riesz MV-algebras as models is a conservative extension of \L ukasiewicz $\infty$-valued propositional calculus and it is complete with respect to evaluations in the standard model $[0,1]$. We prove a normal form theorem for this logic, extending McNaughton theorem for \L ukasiewicz logic. We define the notions of quasi-linear combination and quasi-linear span for formulas in ${\mathbb R}{\cal L}$ and we relate them with the analogue of de Finetti's coherence criterion for ${\mathbb R}{\cal L}$.Comment: To appear in Soft Computin

Belief functions on MV-algebras of fuzzy sets: An overview

Belief functions are the measure theoretical objects Dempster-Shafer evidence theory is based on. They are in fact totally monotone capacities, and can be regarded as a special class of measures of uncertainty used to model an agent's degrees of belief in the occurrence of a set of events by taking into account different bodies of evidence that support those beliefs. In this chapter we present two main approaches to extending belief functions on Boolean algebras of events to MV-algebras of events, modelled as fuzzy sets, and we discuss several properties of these generalized measures. In particular we deal with the normalization and soft-normalization problems, and on a generalization of Dempster's rule of combination. © 2014 Springer International Publishing Switzerland.The authors also acknowledge partial support by the FP7-PEOPLE-2009-IRSES project MaToMUVI (PIRSES-GA-2009- 247584). Also, Flaminio acknowledges partial support of the Italian project FIRB 2010 (RBFR10DGUA-002), Kroupa has been supported by the grant GACR 13-20012S, and Godo acknowledges partial support of the Spanish projects EdeTRI (TIN2012-39348-C02-01) and Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010).Peer Reviewe

Layers of zero probability and stable coherence over Łukasiewicz events

The notion of stable coherence has been recently introduced to characterize coherent assignments to conditional many-valued events by means of hyperreal-valued states. In a nutshell, an assignment, or book, β on a finite set of conditional events is stably coherent if there exists a coherent variant β of β such that β maps all antecedents of conditional events to a strictly positive hyperreal number, and such that β and β differ by an infinitesimal. In this paper, we provide a characterization of stable coherence in terms of layers of zero probability for books on Łukasiewicz logic events. © 2016, Springer-Verlag Berlin Heidelberg.The authors would like to thank there referee for the valuable comments that considerably improved the presentation of this paper. Flaminio has been funded by the Italian project FIRB 2010 (RBFR10DGUA_002). Godo has been also funded by the MINECO/FEDER Project TIN2015-71799-C2-1-P.Peer Reviewe

Geometrical aspects of possibility measures on finite domain MV-clans

In this paper, we study generalized possibility and necessity measures on MV-algebras of [0, 1]-valued functions (MV-clans) in the framework of idempotent mathematics, where the usual field of reals ℝ is replaced by the max-plus semiring ℝ max We prove results about extendability of partial assessments to possibility and necessity measures, and characterize the geometrical properties of the space of homogeneous possibility measures. The aim of the present paper is also to support the idea that idempotent mathematics is the natural framework to develop the theory of possibility and necessity measures, in the same way classical mathematics serves as a natural setting for probability theory. © 2012 Springer-Verlag.The authors would like to thank the anonymous referees for their relevant suggestions and helpful remarks They also acknowledge partial support from the Spanish projects TASSAT (TIN2010- 20967-C04-01), Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010) and ARINF (TIN2009-14704-C03-03), as well as the ESF Eurocores-Log ICCC/MICINN project (FFI2008-03126-E/FILO). Flaminio and Marchioni acknowledge partial support from the Juan de la Cierva Program of the Spanish MICINN.Peer Reviewe

Coherence in the aggregate: a betting method for belief functions on many-valued events

Betting methods, of which de Finetti's Dutch Book is by far the most well-known, are uncertainty modelling devices which accomplish a twofold aim. Whilst providing an (operational) interpretation of the relevant measure of uncertainty, they also provide a formal definition of coherence. The main purpose of this paper is to put forward a betting method for belief functions on MV-algebras of many-valued events which allows us to isolate the corresponding coherence criterion, which we term coherence in the aggregate. Our framework generalises the classical Dutch Book method

Fredkin Gates for Finite-valued Reversible and Conservative Logics

The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental connectives.Comment: 57 pages, 10 figures, 16 tables, 2 diagram

States on pseudo effect algebras and integrals

We show that every state on an interval pseudo effect algebra $E$ satisfying some kind of the Riesz Decomposition Properties (RDP) is an integral through a regular Borel probability measure defined on the Borel $\sigma$-algebra of a Choquet simplex $K$. In particular, if $E$ satisfies the strongest type of (RDP), the representing Borel probability measure can be uniquely chosen to have its support in the set of the extreme points of $K.