30.08.15 - 04.09.15, Seminar 15362

Present and Future of Formal Argumentation

Diese Seminarbeschreibung wurde vor dem Seminar auf unseren Webseiten veröffentlicht und bei der Einladung zum Seminar verwendet.

Motivation

The establishment of formal argumentation as a main research topic in Artificial Intelligence in the last two decades lays on solid bases: A wealth of extensively studied theoretical models at different levels of abstraction, the increasing availability of efficient implementations of these models, a variety of experimental studies in application fields ranging from modeling dialogues on social networks to medical reasoning.

Argumentation models can capture diverse kinds of reasoning and dialogue activities in a formal and still quite intuitive way, thus enabling the integration of different specific techniques and the development of applications humans can trust. 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.

This Dagstuhl Perspectives Workshop aims at collecting 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. This should lead to one key outcome, namely a Dagstuhl Manifesto, which includes research directions that are put into a larger context, like its relevance for society and economy, applications, and relations to other fields. Its audience goes beyond the inner circle of experts and should include policy makers.

We foresee at least the following topics to be discussed during the workshop:

  • Critical evaluation of Dung’s theory of abstract argumentation
  • Instantiated argumentation
  • Systems, tools and requirements
  • Algorithms and complexity
  • Relation between informal and formal argumentation
  • Connections
  • Dialogues
  • Extensions
  • Dynamics
  • Applications