ECAI-98 Workshop: MANY-VALUED LOGIC FOR AI APPLICATIONS

peklund@cs.umu.se
Sat, 31 Jan 1998 17:48:09 +0100 (MET)

****
ECAI-98 WORKSHOP

W17: MANY-VALUED LOGIC FOR AI APPLICATIONS

August 25, 1998, Brighton, U.K

CALL FOR PAPERS
****

Strict true/false dichtomy is insufficient for efficiently representing
graded truth inherent to the real world and human cognition. Among the
approved methods for handling truth degrees in AI, those based on
Many-Valued Logic (MVL) have been the object of a substantial amount of
research effort.

Research in MVL for AI is mainly devoted to (i) envisaging MVL as formal
languages with suitable features to capture various types of graded truth
arising in real applications and (ii) analysing and improving computational
paradigms for processing with MVL.

Reasoning on incomplete, vague and imprecise knowledge is realized and
further developed in such tools as theorem provers or many-valued
extensions of logic programming and expert systems. At the same time the
algebraic foundations of MVL are progressing.

A typical application of MVL consists in modelling knowledge and know-how
of domain experts who require to express relative degrees of truth by means
of linguistics labels. More generally, the kinds of MVL studied and
analysed up to now offers a solid framework for any setting involving
graded truth such as fuzzy systems or imprecision information.

The objective of the workshop is, given the wide spectrum of related
computational disciplines, to present latest results in many-valued logic
and its AI applications, and also to contribute to a better understanding
of the interactions with other AI techniques. In particular, for many real
world applications, a mixture modelling of *belief* and *vagueness* seems
necessary.

An European Community project, COST Action 15, entitled Many-Valued Logics
for Computer Science Applications (http://altern.org/mvl/), provides a
supporting backbone for this workshop.

Contributors to the workshop are encouraged to include discussions on
applications in many-valued logic and fuzzy systems. Empirical studies and
applications can include (but are not limited to):

- uncertainty in AI
- representation, inference, learning and knowledge acquisition
- fuzzy applications in AI
- deductive databases and intelligent information retrieval,
- intelligent agents,
- hardware design, synthesis and verification,
- computational linguistics,
- expert systems and decision support,
- developments for industry and health care.

ORGANISING COMMITTEE

Patrik EKLUND, Umea University, Umea, Sweden
Gonzalo ESCALADA-IMAZ, Research Institut on Artificial Intelligence, Spain
Reiner HAEHNLE, University of Karlsruhe, Germany
Peter VOJTAS, P.J. Safarik University, Slovakia

CONTACT PERSON

Patrik EKLUND
Umea University
Department of Computing Science
S-90187 Umea
Sweden
e-mail peklund@cs.umu.se
tel +46-90-7869914
fax +46-90-7866126
http://www.cs.umu.se/~peklund

SUBMISSION

Papers should be submitted in electronic format (postscript or rtf) and
should not exceed 10 pages.

IMPORTANT DATES

March 30, 1998 Paper submission deadline
April 30, 1998 Notification to Authors
May 25, 1998 Camera-ready papers