Descrizione del bando

Titolo del progetto di ricerca in italiano	Sistemi formali per il ragionamento sulle probabilità di eventi non classici
Titolo del progetto di ricerca in inglese	Formal systems for reasoning about probabilities of non-classical events
Settore Concorsuale	01 - Scienze matematiche e informatiche
S.S.D	-
Descrizione sintetica in italiano	La teoria della probabilità classica tratta di eventi descrivibili da formule della logica classica e quindi algebricamente identificabili con elementi di un'algebra Booleana. Il progetto riguarda una estensione della teoria della probabilità classica, e cioè le teorie della probabilità di eventi descritti da formule di logiche polivalenti. Si richiede che il candidato abbia esperienza di ricerca in una o più delle seguenti aree: Semantica algebrica delle logiche non classiche; Reticoli residuati, logiche delle t-norme e estensioni modali; Dualità topologiche e geometriche per algebre di Boole, reticoli distributivi, algebre di Heyting, MV-algebre, gruppi reticolati, C*-algebre; Teoria della probabilità finitamente additiva, criterio di coerenza di de Finetti;Integrali di Choquet, teoremi di rappresentazione integrale di Riesz, misure generalizzate su spazi spettrali; Decidabilità e complessità in relazione alla logica, all'algebra e alla topologia.
Descrizione sintetica in inglese	The project is concerned with probability theories of events described by sentences of many-valued logics. Such theories must be an extension of classical probability theory that deals with events that are described by sentences of classical logics, that can be identified with elements of a Boolean algebra. The successful applicant will have research experience in one or more of the following areas: Algebraic semantics of non-classical logics; Residuated lattices, logics of triangular norms, modal extensions; Topological and geometric dualities for Boolean algebras, distributive lattices, Heyting algebras, MV-algebras, lattice-ordered groups and vector spaces, C#-algebras; Finitely additive probability theory, de Finetti's coherence criterion, and exchangeability; Choquet integrals and capacities, Riesz-type integral representation theorems, generalised measures on spectral spaces; Decidability and complexity in connection with logic, algebra, and topology.
Data del bando	17/04/2012
Paesi in cui può essere condotta la ricerca	All
Paesi di residenza dei candidati	All
Nazionalità dei candidati	All
Sito web del bando	http://www4.uninsubria.it/on-line/home/naviga-per-tema/ricerca-scientifica/articolo2785.html

 

Dettagli dell'assegno di ricerca

Destinatari dell'assegno di ricerca (of target group)	Experienced researcher or 4-10 yrs (Post-Doc)

 

Finanziatore

Nome dell'Ente finanziatore	Università degli Studi dell'Insubria
Tipologia dell'Ente	Other
Paese dell'Ente	Italy
Città	Varese
Sito web	http://www.uninsubria.it/uninsubria/home.html

 

Contatto presso l'Ente

E-mail	roberto.battisti@uninsubria.it

 

EU Research Framework Programme

L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme?	No

 

Dettagli per la candidatura

Data di scadenza del bando	07/05/2012 - alle ore 00:00
Come candidarsi	Other