Descrizione del bando

Titolo del progetto di ricerca in italiano	La logica di Lukasiewicz come logica del “molto di più”: applicazioni a pro-blemi reali in presenza di informazione vaga
Titolo del progetto di ricerca in inglese	Lukasiewicz many-valued logic as the logic of
Campo principale della ricerca	Mathematics
Sottocampo della ricerca	Mathematical logic
Settore Concorsuale	01 - Scienze matematiche e informatiche
S.S.D	MAT/01 - LOGICA MATEMATICA
Descrizione sintetica in italiano	La logica classica è basata su due valori di verità mentre le logiche many-valued gene-ralizzano la logica classica con l’aggiunta di verità valori intermedi tra falso e vero. Lo scopo del progetto è quello di utilizzare in particolare la logica Lukasiewicz (come lo-gica del “molto di più”) come un modello logico per le situazioni in cui è presente un certo grado di indeterminatezza. Come caso di studio ci concentriamo sul campo im-portante della pianificazione. La pianificazione è un ramo dell’intelligenza artificiale che riguarda la realizzazione di strategie tipicamente destinate per l’esecuzione da par-te di agenti intelligenti, robot automi e veicoli senza pilota. Il nostro approccio basato sulla logica many-valued ci consente di affrontare la vaghezza nella pianificazione. I metodi e le tecniche applicate nell’ambito del progetto riguardano i campi della logica matematica, informatica e intelligenza artificiale
Descrizione sintetica in inglese	Classical logic is two-valued: each statement is assumed to be either true or false. Many-valued logics, by contrast, generalize classical logic by adding intermediate truth-values between absolute falsehood (0) and truth (1). Some of these logics can be used to manage vague information. The aim of the project is to interpret such mathematical results in some specific field of application. In particular, among all the many-valued logics we are interested in particular in Lukasiewicz logic. Indeed, recent results suggest that Lukasiewicz logic is the logic of "the more", "the less", and "the much more than" and such approach make it suitable as a logical model for situations in which a degree of vagueness is present. The general thrust of this project is to empirically confirm the theoretical results on Lukasiewicz logic
Data del bando	14/03/2016
Numero di assegnazioni per anno	1
Stanziamento annuale (indicativo)	23906
Paesi in cui può essere condotta la ricerca	Italy
Paesi di residenza dei candidati	EUROPE
Nazionalità dei candidati	EUROPE
Sito web del bando	http://www4.uninsubria.it/on-line/home/albo-on-line.html

 

Dettagli dell'assegno di ricerca

Destinatari dell'assegno di ricerca (of target group)	Early stage researcher or 0-4 yrs (Post graduate)
Importo annuale	23906
Valuta	Euro
Comprende lo stipendio dell'assegnista	yes
Comprende vitto e spese di viaggio	no
Comprende il costo della ricerca	no
Massima durata dell'assegno (mesi)	12
Criteri di selezione in italiano (breve descrizione)	Titoli
Criteri di selezione in inglese (breve descrizione)	Qualifications
Processo di selezione in italiano (breve descrizione)	Valutazione dei titoli
Processo di selezione in inglese (breve descrizione)	Evaluation of qualifications

 

Finanziatore

Nome dell'Ente finanziatore	Università degli Studi dell'Insubria
Tipologia dell'Ente	Academic
Paese dell'Ente	Italy
Città	Varese
Codice postale	21100
Indirizzo	via ravasi, 2
Sito web	http://www4.uninsubria.it/on-line/home.html

 

Contatto presso l'Ente

E-mail	assegni.borse@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	29/03/2016 - alle ore 00:00
Come candidarsi	Other