Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > Research > Projects > EMBArg Project

Tools: Print


EMBArg: Extending Methods in Belief Change to Advance Dynamics in Argumentation


This project is funded by the Austrian Science Fund (FWF) under grant P 30168-N31.


Contents


News

Paper accepted to JAIR

2017-8-16
We are happy to announce that our paper "Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation" has been accepted to JAIR [2].

Workshop on New Trends in Formal Argumentation

2017-8-10
We are co-organizing the workshop on "New Trends in Formal Argumentation", taking place August 17 at TU Vienna. Sanjay Modgil and Leon van der Torre, two well-established researchers, will give invited talks at the workshop.

Happy Easter and ECSQARU acceptance

2017-04-14
Our paper "From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning" [1] has been accepted at ECSQARU'17.

Project start

2017-04-01
The EMBArg project has started in April 2017 and will have a duration of three years.
Top

Project team

Top

Goal of the project

Central to the study of dynamically evolving knowledge is the field of belief change. The AGM approach, that emerged from belief change, offers a versatile and well-established framework for investigating knowledge or beliefs “in flux”. Recently, dynamics in argumentation - a core topic in AI with inherent need for adaptation of knowledge - has steadily gained interest among researchers, aiming at developing formal methods for change. However, limitations of existing approaches have prevented the emergence of a clear and unified picture, since many approaches focus only on one, albeit fundamental, formal model, leaving dynamic methods for more sophisticated formalisms open. For the task of revision of knowledge, recent works in belief change have shown that general-purpose frameworks, exporting the core intuitions of the AGM approach to many formal models, are feasible, with mild requirements on the formal models. Application of these frameworks to argumentation faces a crucial barrier, however, since some of the core dynamic operations in argumentation - foremost that of enforcing acceptability of arguments - are significantly different than operators studied in belief change. Hence, there is a significant gap between the state of the art in belief change and the requirements of argumentation “in flux”. Nevertheless, belief change remains uniquely suited to handle the dynamics of argumentation. This project seeks to address the current shortcomings with a threefold approach. We aim to


Top

Related webpages and projects

Top

Publications

2017

[2] Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation
Johannes P. Wallner, Andreas Niskanen, and Matti Järvisalo.
Journal of Artificial Intelligence Research, Vol. 60, pp. 1-40. 2017
DOI ]
[1] From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
In Alessandro Antonucci, Laurence Cholvy, and Odile Papini, editors, Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, pages 57-68, Lugano, Switzerland, July 2017
DOI | .pdf ]

Previous works by the project team

Pakota: A System for Enforcement in Abstract Argumentation
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
In Loizos Michael and Antonis C. Kakas, editors, Proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, pages 385-400, Larnaca, Cyprus, November 2016
DOI ]
Synthesizing Argumentation Frameworks from Examples
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, and Frank van Harmelen, editors, Proceedings of the Twenty-Second European Conference on Artificial Intelligence, ECAI 2016, pages 551-559, The Hague, The Netherlands, August 2016
DOI ]
Optimal Status Enforcement in Abstract Argumentation
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pages 1216-1222, New York, USA, July 2016
paper ]
Merging of Abstract Argumentation Frameworks.
Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, and Stefan Woltran.
In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, pages 33-42, Cape Town, South Africa, April 2016
paper ]
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation
Johannes P. Wallner, Andreas Niskanen, and Matti Järvisalo.
In Dale Schuurmans and Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI 2016, pages 1088-1094, Phoenix, Arizona, USA, February 2016
paper ]
An Extension-Based Approach to Belief Revision in Abstract Argumentation.
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, and Stefan Woltran.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 2926-2932, Buenos Aires, Argentina, July 2015.
paper ]
Merging in the Horn Fragment.
Adrian Haret, Stefan Rümmele, and Stefan Woltran.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 3041-3047, Buenos Aires, Argentina, July 2015.
paper ]
Top

Valid CSS! Valid XHTML 1.0 Transitional


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.