License
When quoting this document, please refer to the following
DOI: 10.4230/DagMan.7.1.69
URN: urn:nbn:de:0030-drops-98957
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9895/
Go back to Dagstuhl Manifestos


Gabbay, Dov M. ; Giacomin, Massimiliano ; Liao, Beishui ; van der Torre, Leendert
Weitere Beteiligte (Hrsg. etc.): Dov M. Gabbay and Massimiliano Giacomin and Beishui Liao and Leendert van der Torre

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)

pdf-format:
dagman-v007-i001-p069-15362.pdf (0.8 MB)


Abstract

Formal Argumentation is emerging as a key reasoning paradigm building bridges among knowledge representation and reasoning in artificial intelligence, informal argumentation in philosophy and linguistics, legal and ethical argumentation, mathematical and logical reasoning, and graph-theoretic reasoning. It aims to capture diverse kinds of reasoning and dialogue activities in the presence of uncertainty and conflicting information in a formal and intuitive way, with potential applications ranging from argumentation mining, via LegalTech and machine ethics, to therapy in clinical psychology. The turning point for the modern stage of formal argumentation theory, much similar to the introduction of possible worlds semantics for the theory of modality, is the framework and language of Dung's abstract argumentation theory introduced in 1995. This means that nothing could remain the same as before 1995 - it should be a focal point of reference for any study of argumentation, even if it is critical about it. Now, in modal logic, the introduction of the possible worlds semantics has led to a complete paradigm shift, both in tools and new subjects of studies. This is still not fully true for what is going on in argumentation theory. The Dagstuhl workshop led to the first volume of a handbook series in formal argumentation, reflecting the new stage of the development of argumentation theory.

BibTeX - Entry

@Article{gabbay_et_al:DM:2018:9895,
  author =	{Dov M. Gabbay and Massimiliano Giacomin and Beishui Liao and Leendert van der Torre},
  title =	{{Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)}},
  pages =	{69--95},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2018},
  volume =	{7},
  number =	{1},
  editor =	{Dov M. Gabbay and Massimiliano Giacomin and Beishui Liao and Leendert van der Torre},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9895},
  URN =		{urn:nbn:de:0030-drops-98957},
  doi =		{10.4230/DagMan.7.1.69},
  annote =	{Keywords: Artificial Intelligence, Knowledge Representation and Reasoning, Multi-Agent Systems, Argumentation, Non-monotonic Logic}
}

Keywords: Artificial Intelligence, Knowledge Representation and Reasoning, Multi-Agent Systems, Argumentation, Non-monotonic Logic
Seminar: Dagstuhl Manifestos, Volume 7, Issue 1
Issue Date: 2018
Date of publication: 16.11.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI