30. August – 04. September 2015, Dagstuhl-Perspektive-Workshop 15362

Present and Future of Formal Argumentation


Dov M. Gabbay (King's College London, GB)
Massimiliano Giacomin (University of Brescia, IT)
Beishui Liao (Zhejiang University, CN)
Leon van der Torre (University of Luxembourg, LU)

Auskunft zu diesem Dagstuhl-Perspektive-Workshop erteilt

Dagstuhl Service Team


Dagstuhl Report, Volume 5, Issue 8 Dagstuhl Report
Dagstuhl Manifesto, Volume 7, Issue 1 Dagstuhl Manifesto
Dagstuhl's Impact: Dokumente verfügbar


Diverse kinds of reasoning and dialogue activities can be captured by argumentation models in a formal and still quite intuitive way, thus enabling the integration of different specific techniques and the development of applications humans can trust. Formal argumentation lays on solid bases, such as extensively studied theoretical models at different levels of abstraction, efficient implementations of these models, as well as a variety of experimental studies in several application fields. In order to be able to convert the opportunities of the present into actual results in the future, the formal argumentation research community needs however to reflect about the current assets and weaknesses of the field and to identify suitable strategies to leverage the former and to tackle the latter. As an example, the definition of standard modeling languages and of reference sets of benchmark problems are still in their infancy, reference texts for newcomers are missing, the study of methodological guidelines for the use of theoretical models in actual applications is a largely open research issue.

The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the current state of the research in this field and to draw accordingly some strategic lines to ensure its successful development in the future.

The Perspectives Workshop was held between August 30 to September 4, 2015, with 22 participants from 10 countries. With the aim of developing a critical survey of the field for the argumentation community and for potential newcomers, the organizers agreed to assemble a handbook of formal argumentation, and encouraged participants to present their view on different topics in the area. Besides individual presentations, the program included collective discussions on general issues arising from individual presentations, as well as working groups.

Individual presentations concerned introductory overviews, logical problems and requirements for formal argumentation, specific formalisms and methodologies, relationship between different approaches and applications. While a limit of half an hour per talk was initially established, we decided to leave the time for discussion relatively open, since several open topics and new developments were envisaged out of presentations.

Collective discussions have been arranged along four topics, i.e. basic concepts and foundations, specific formalisms for argumentation, algorithms, and connections both inside the argumentation field and with outside research topics.

We organized three discussion groups each headed by one organizer (see Section 4). Each group was asked to identify the most important open problems in argumentation. Interestly enough, there was little intersection between the three outcomes, i.e. the three groups came out with different problems. Many of them concerned foundational issues of the theory, e.g, how to formally represent various kinds of arguments and how to identify sets of postulates on the reasoning activity over arguments in specific contexts. On the other hand, the relationship between argumentation and other research fields (e.g. natural language processing, machine learning, human computer interaction, social choice) was seen to be of major importance, especially to develop more applications.

The unique setting and atmosphere of Dagstuhl provided the ideal environment to exchange ideas on future directions of argumentation, with discussions often lasting all the evening and the first part of the night.

The Perspectives Workshop concluded with the presentation of the results yielded by the group discussions, that in our opinion will lead to collaborative research, scientific papers and funded international projects in the future.

Summary text license
  Creative Commons BY 3.0 Unported license
  Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leon van der Torre


  • Artificial Intelligence / Robotics


  • Artificial Intelligence
  • Knowledge Representation and Reasoning
  • Multi-Agent Systems
  • Argumentation
  • Non-monotonic Logic


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.