TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 9334

Automated Practical Reasoning and Argumentation

( 23. Aug – 27. Aug, 1993 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/9334

Organisatoren
  • D. Gabbay
  • H.-J. Ohlbach



Summary

There is an increasing research interest and activity in artificial intelligence, philosophy, psychology and linguistics in the analysis and mechanization of human practical reasoning. Philosophers and linguists, continuing the ancient quest that began with Aristotle, are vigorously seeking to deepen our understanding of human reasoning and argumentation. Significant communities of researchers, faced with the shortcomings of traditional deductive logic in modelling human reasoning and argumentation. are actively engaged in developing new approaches to logic (informal logic, dialogue logic) and argumentation (rhetoric, pragmatic and dialectical), which are better suited for the task. In parallel and with equal dedication and ingenuity, many software engineering and AI researchers are pursuing similar goals. These computer scientists are in urgent need of some models of human reasoning and argumentation in order to develop better software tools for aiding and for replacing the human or his activities.

A quick look at the research programs of theses continuities instantly reveals that there is a close conceptual connection and complementary mutual research interest among these diverse communities. Indeed there are strong similarities in aims and case studies between the non-monotonic logic community in AI and the informal logic community in philosophy, between the planning community and the practical reasoning and action community, between the dialogue community and the human (computer interaction and user modelling communities.

It is therefore necessary and urgent to overview, summarize and organize the current state of research in these areas in the form of a thematic multivolume Handbook, and to make it available to all researchers involved. Such an enterprise will enhance and accelerate the interaction between the communities.

First contact was achieved in an initial research seminar held in Dagstuhl in August 1993 involving researchers from several of these communities. The talks given during this seminar were intended to give an overview of the various aspects of argumentation and reasoning from point of view of philosophy, psychology, logic and Al. The evenings were used to work out the precise table of contents of various volumes of the Handbook. A follow up meeting is planned on the 20th and 21st of June 1994 in Amsterdam.


Teilnehmer
  • D. Gabbay
  • H.-J. Ohlbach