3VAL

Three valued logics and uncertainty management

Coordinatore	UNIVERSITE PAUL SABATIER TOULOUSE III    more  Organization address address: ROUTE DE NARBONNE 118 city: TOULOUSE CEDEX 9 postcode: 31062 contact info Titolo: Mr. Nome: Michel Cognome: Ruffat Email: send email Telefono: +33 5 61556604 Fax: +33 5 61557313
Nazionalità Coordinatore	France [FR]
Totale costo	126˙887 €
EC contributo	126˙887 €
Programma	FP7-PEOPLE Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	FP7-PEOPLE-2010-IEF
Funding Scheme	MC-IEF
Anno di inizio	2011
Periodo (anno-mese-giorno)	2011-10-01   -   2012-09-30

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	UNIVERSITE PAUL SABATIER TOULOUSE III  Organization address address: ROUTE DE NARBONNE 118 city: TOULOUSE CEDEX 9 postcode: 31062 contact info Titolo: Mr. Nome: Michel Cognome: Ruffat Email: send email Telefono: +33 5 61556604 Fax: +33 5 61557313	FR (TOULOUSE CEDEX 9)	coordinator	126˙887.50

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

'The main objective of the present proposal is to study three valued logics in connection with uncertainty management and applications in artificial intelligence. A survey of the existing three valued logics and the motivation underlying their definition will be performed; a complete study of the operations (implication, conjunction, disjunction, negation) on three values and their logical formalization pursued and applications of three valued logics investigated. The challenge is to link formal studies with applications and to arrive at a complete view on three valued logics. The proposal has a theoretical part and a more applicative one. The former is devoted to a formal study of three valued logics: already existing ones, specifically defined on three values or not, and new defined ones, starting from connectives definitions to arrive at a complete logical calculus. In the applicative part the formal systems will be applied to uncertainty management and in particular to rough sets, conditional events and NULL value management in databases. In each situation, new solutions in the form of new ways to handle three values through a proper logical system will be proposed.'