TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 9744

Multiple Valued Logic

( Oct 27 – Oct 31, 1997 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9744

Organizers
  • D. Mundici (Milano)
  • L. Zadeh (Berkeley)
  • P. Schmitt (Karlsruhe)





Results

This Dagstuhl Seminar brought together approximately 60 researchers covering the full spectrum of the current research on many-valued logics, ranging from mathematical foundations to computational issues and applications. Several young researchers could attend this meeting, and have fruitful interactions with more established researchers from Japan, South and North America, and from an exceptionally large number of European countries. Their contributions may be classified under the following four headings.

Enhancement of the theoretical basis: Despite its long tradition, work on foundational issues in many-valued logics still spawns new and thrilling problems and results. The rich and intriguing properties of the algebraic counterparts of many-valued logic should be firstly mentioned in this context. This algebraic perspective was strongly represented in this seminar. In the same spirit, albeit in a different setting, several talks dealt with fuzzy set theory, and their relations with rule based control.

Automated deduction - theory and tools: As a focal point in this field one must also mention the current research on complete and sound proof systems -- in particular for infinitely-valued logics. Two notable examples are given by Lukasiewicz logic and by product logic. As amply discussed during the Dagstuhl seminar, the calculi corresponding to these logics require far reaching generalisations of the classical techniques arising from Hilbert-style systems, Gentzen systems and resolution. A recurring theme in this field is the use of formulas with regular sets of signs.

Modelling of and reasoning on incomplete and uncertain knowledge: Many-valued calculi are often encountered, for instance, in possibility theory and possibilistic logic. They provide a natural framework for manipulating orderings between various interpretations. They also find use in clarifying many entrenched situations in non-monotonic reasoning. In this context we should also mention such topics as the logical manipulation of uncertainty factors, which were the main concern of a number of talks in the Dagstuhl meeting.

Applications: Applications of many-valued logics -- both in the infinitely-valued and in the finitely-valued case – are an important source of motivation for future research. During this seminar important talks focused on applications in hardware design and verification, unit commitment in power systems, and in biomedical engineering.

This Seminar was also a workshop/conference in the COST~Action~#15 on "Many-valued Logics for Computer Science Applications'', the only existing European Action on Computer Science issues. One of the objectives of this Action was the dissemination of knowledge accumulated and produced within the project to the world wide scientific community the COST action itself.

This objective has been very successfully accomplished with this Dagstuhl seminar.


Participants
  • D. Mundici (Milano)
  • L. Zadeh (Berkeley)
  • P. Schmitt (Karlsruhe)