Reference : Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/37881
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
English
Gabbay, Dov mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Giacomin, Massimiliano [> >]
Liao, Beishui mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2018
Dagstuhl Manifestos
7
1
69--95
Yes
2193-2433
[en] Artificial Intelligence ; Knowledge Representation and Reasoning ; Multi-Agent Systems ; Argumentation ; Non-monotonic Logic
[en] 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.
http://hdl.handle.net/10993/37881
10.4230/DagMan.7.1.69
https://doi.org/10.4230/DagMan.7.1.69

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
dagman-v007-i001-p069-15362.pdfPublisher postprint823.9 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.