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 9338

Non-Classical Logics in Computer Science

( Sep 20 – Sep 24, 1993 )

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

Organizers
  • A. Nerode
  • P.H. Schmitt
  • V. Marek



Impacts
  • Non-classical logics in computer science - Victor M. Marek; Peter H. Schmitt - Basel : Baltzer, 1994 - (Annals of mathematics and artificial intelligence : 12. 1994, 3/4).

Motivation

During the last ten, fifteen years we could witness a remarkable revival of interest in non-classical logics foremost in connection with topics from computer science. There seem to be two explanations for this phenomenon:

  • The intention to use non-classical logics, like many-valued, modal or temporal logics for real world applications has made the usual reductions to classical first-order logic less attractive, since they obscure the intuitive meaning of formulas. Also the implementations of theorem provers for these logics seem to work more efficient without first translating them.
  • Computer science also brought about a change in the focus of application areas of logic, from mathematics to the representation of and reasoning with more general and less structured domains of knowledge. This led to the invention of new types of logic. Non-monotonic logic is the prime example to be named here.

To provide the necessary focus for a fruitful interaction during the seminar we limited the contributions to the following subjects:

  • non-monotonic logics to model common sense reasoning,
  • Horn-clause logic and its extensions as a basis for declarative programming and as a source of non-monotonic inference,
  • many-valued logics to extend the expressiveness of first-order logic and as a frame for explaining phenomena arising in two-valued logic and modal logics as a basis for treating temporal and epistemological aspects

The bulk of the talks turned out to be on the subject of non-monotonic logic, which can rightly be judged to have turned into a mature subject with a sound theoretical basis and moving towards serious implementations and applications. Despite the seemingly non-homogeneous audience but supported by the known interactions between modal and non-monotonic logic and also between many-valued logic and semantics of logic programs intensive and stimulating conversations evolved during the week of the seminar and will, it is to be hoped, further continue.

Copyright

Participants
  • A. Nerode
  • P.H. Schmitt
  • V. Marek