NCLFITA

Non-Classical Logics and Fuzzy Inferences – Theory and Applications

Coordinatore	UNIVERSITAT LINZ    more  Organization address address: ALTENBERGERSTRASSE 69 city: LINZ postcode: 4040 contact info Titolo: Prof. Nome: Erich Peter Cognome: Klement Email: send email Telefono: +43 732 24689194 Fax: +43 732 24681351
Nazionalità Coordinatore	Austria [AT]
Totale costo	45˙000 €
EC contributo	45˙000 €
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-RG
Funding Scheme	MC-ERG
Anno di inizio	2010
Periodo (anno-mese-giorno)	2010-12-01   -   2013-11-30

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	UNIVERSITAT LINZ  Organization address address: ALTENBERGERSTRASSE 69 city: LINZ postcode: 4040 contact info Titolo: Prof. Nome: Erich Peter Cognome: Klement Email: send email Telefono: +43 732 24689194 Fax: +43 732 24681351	AT (LINZ)	coordinator	45˙000.00

Mappa

 Word cloud

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

 Obiettivo del progetto (Objective)

'The goal of the proposed research covers the following two topics: 1. Theoretical foundation and investigation of different fuzzy inferences: There is a tremendous number of applications in daily life and industry where fuzzy theory is successfully applied. Those methods usually are based on a fuzzy inference. Therefore the mathematical foundation of fuzzy inferences as well as the finding of new methods which are superior to the ones applied today is an important task. Thus, this research supports the theoretical foundation of several fields of Artificial Intelligence and Software Engineering such as fuzzy control, knowledge-based systems, search engines on the web, and leads to industrial applications too. 2. A study of mathematical fuzzy logics in relation to substructural logics, based on results and techniques developed recently in the study of substructural logics: Finding algebraic characterizations of different subclasses of left-continuous t-norms and residuated lattices. Further extending the geometric approach, developed in mathematical fuzzy logics by the applicant, to substructural logics. New findings at this line of the research could be very beneficial in supporting the research goals of point 1 too. A final aim is to develop a study of interrelations between algebraic methods and proof-theoretic methods in non-classical logics, in particular, in substructural logics, and in mathematical fuzzy logics in order to obtain a deeper understanding of these two disciplines.'