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 9334

Automated Practical Reasoning and Argumentation

( Aug 23 – Aug 27, 1993 )

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

Organizers
  • 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.


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