Skip to main content
European Commission logo print header
Contenuto archiviato il 2022-12-23

MANY-VALUED LOGICS FOR COMPUTER SCIENCE APPLICATIONS

Obiettivo

The overall objective of this particular COST Action is to co-ordinate research, leading to computer science applications, in many-valued logics. Among the numerous possible applications, a special emphasis is put on the specification and representation of uncertain and/or incomplete knowledge. A clearly indispensable prerequisite is to provide the theoretical basis for developing tools to process and manipulate such knowledge.

The scientific work comprises all types of logics that use more than two truth values :
three-valued logics for AI reasoning with incomplete knowledge, as is required, for example, in expert systems ; three-valued logics for modelling non-terminating behaviour in software verification, and three-valued logics needed in the investigation of the formal semantics of logic programs ;

many-valued logics with a large number of truth values as used, for example, in hardware verification and in information logics that model the behaviour of co-operating intelligent agents ;
real-valued logics ; this refers mainly to fuzzy logic with applications, for example, in fuzzy control, but as well to Lukasiewicz logic as required, for example, in adaptive coding.


Current status

The Action COST 15 started officially on 11 May 1995. The MoU has been signed by Austria, Belgium, Czech Republic, Finland, France, Germany, Greece, Italy, Spain, United Kingdom, and recently also by Portugal, Slovakia, and Turkey. Signature is envisaged for Poland. In other countries interest from researchers in this area has grown.

The Chairperson, Dr Iturrioz, has presented the COST Action 15 at the Conference "Lukasiewicz in Dublin", held in Dublin, 7/10 July 1996. Interest in COST 15 work was expressed by different participants at the meeting. Prof. Haehnle established contacts with the IEEE MVL community during the ISMVL symposium in Santiago de Compostela (E).

One of the most prominent features of the proposed Action is that it brings together researchers covering the full spectrum of work done in many-valued logics, ranging from mathematical foundations to computational issues and studies of real applications. So, in order to make the best use of this wide range of expertise, the Action is organised into working groups. Each working group ideally comprises activities at each of the following levels : functional research ; development of tools ; software ; prototyping of typical implementations ; and applications.

Three working groups are operational ; they were established at the first conference in Lyon (F) and co-ordinators were elected as follows :

WG1 : Formal systems : theory and tools, A. Di Nola

WG2 : Automatic deduction, R. Haehnle

WG3 : Approximate reasoning and knowledge representation, D. Dubois, S. Gotwald

It is important for the future of the Action to attract, as much as possible, young researchers. Short Scientific Missions are an important tool for achieving this goal and for improving the results of the Action as a whole. Nine short-term scientific missions have been accepted in 1996. They have been intended for younger researchers.

Work planned

The activities just started in the various WGs will be fully developed.

Argomento(i)

Invito a presentare proposte

Data not available

Meccanismo di finanziamento

Data not available

Coordinatore

Université Claude Bernard, Lyon 1
Contributo UE
Nessun dato
Indirizzo
Bât 101
69622 Villeurbanne
Francia

Mostra sulla mappa

Costo totale
Nessun dato

Partecipanti (1)