The COST Projects, founded by the CEE, aim at creating a work scientific setting to allow to join efforts and to exchange knowledge among Researchers in European Countries. Thus, COST programs provide an economical support for the organisation of workshops, conferences, researcher sojourns, organisation secretariat, etc. The central scientific subject of this particular European COST project is the Many-valued Logic and the general objective is to make emerge new real world applications relying on Computer Science. The mentioned main goal can be split into two kinds of subgoals: practical-oriented ones and theoretical-oriented ones. The former pretends to find out new theoretical results until having a rigorous and reliable theory such that the confidence degree on current applications is significantly improved. Also, new short term applications are expected as a consequence of these designed reliable theories. The purpose of the second objective is to advance on promising theoretical approaches to enable, in a middle/long term, to dispose the necessary theoretical grounds to deal with new applications. The global project is divided into three main scientific areas corresponding to three major aspects of Many-valued Logic: Many-valued Algebras, Automated Deduction and Approximated Reasoning. For each area, there is a Working Group composed by researchers whose scientific interest topics are inside such an area. Our institute is present in all the three groups and actively contributes to the advance in all the three fields. This project has facilitated some close cooperations among the IIIA and some outstanding European research institutions.
|
IIIA - Institut d'Investigació
en Intel.ligència Artificial CSIC - Spanish Scientific Research Council Campus Universitat Autònoma de Barcelona 08193 Bellaterra, Catalonia , Spain Voice: +34-3-580 95 70 Fax: +34-3-580 96 61 |