1,721,024 research outputs found
Automata over MV-algebras
No full textWe propose the notion of automata over Lukasiewicz many-valued logic, extending fuzzy automata ([9])Indeed, MV-algebras, i.e., algebraic structures related with many-valued Lukasiewicz logic, are made of two semiring reducts obtained considering the supremum operation together with the Lukasiewicz conjunction and the infimum operation together with Lukasiewicz disjunction. Vice-versa, given two semirings over the same domain, and given an isomorphism between these two algberas we can set some conditions in order to have an MV-algebra.Following the tradition of semirings, in this paper we shall study "many-valued automata" and "many-valued formal languages" interpreted in Lukasiewicz logic
Firb futuro in ricerca 2010
No full textQuesto progetto riguarda le teorie delle probabilità di eventi descritti da formule di logiche non-classiche. La teoria delle probabilità classica tratta di eventi Booleani, vale a dire eventi sì/no. Questi sono denotati da formule della logica classica proposizionale. Algebricamente, possono quindi essere identificati con elementi di un'algebra Booleana. L'usuale pratica matematica di modellare gli eventi come (particolari) sottoinsiemi di un dato spazio campionario si trova in accordo con la descrizione precedente, se ricordiamo che ogni algebra Booleana è rappresentabile come un campo di insiemi. La sostituzione della logica classica con una (più debole) logica non-classica porta a considerare eventi che sono più generali degli eventi Booleani. Ci si pone dunque la domanda se si possa sviluppare un trattamento matematicamente significativo della teoria delle probabilità di questo tipo di eventi. Lo scopo generale del nostro progetto consiste nel rispondere positivamente a questa domanda
Irses - Mathematical tools for the management of uncertain and vague information
No full textThe aim of this project is to put together some prominent European and Latin-American researchers in many-valued logic in a coordinated effort towards the delivery of a uniform formal system in which "uncertain" and "vague" aspects, which pervade
phenomena in the real world, can be treated together in an integrated manner. This is desirable both from the Mathematical and the application point of view as many concrete systems (e.g., medical expert systems) deal with both phenomena and currently not in a completely satisfactory way
Conditioning a state by a Lukasiewicz event: a probabilistic approach to Ulam games
No full textAbstractThe notion of state in an MV-algebra generalizes the notion of finitely additive measure on a boolean algebra. In this paper the conditioning of a state by a Łukasiewicz event is examined, with particular attention to Ulam game
MV-algebras, multiple bets and subjective states
No full textAbstractIn this paper MV-algebras, the algebras of L̵ukasiewicz infinite-valued logics, are interpreted in a structure of bets, and a subjective interpretation of finitely additive measures on MV-algebras is given
- …
