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

	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/37881

Title :	Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
Language :	English
Author, co-author :	Gabbay, Dov M. [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	Giacomin, Massimiliano [> >]
	Liao, Beishui [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	2018
Journal title :	Dagstuhl Manifestos
Volume :	7
Issue/season :	1
Pages :	69--95
Peer reviewed :	Yes
ISSN :	2193-2433
Keywords :	[en] Artificial Intelligence ; Knowledge Representation and Reasoning ; Multi-Agent Systems ; Argumentation ; Non-monotonic Logic
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/37881
DOI :	10.4230/DagMan.7.1.69
Other URL :	https://doi.org/10.4230/DagMan.7.1.69

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access dagman-v007-i001-p069-15362.pdf Publisher postprint 823.9 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map