This paper presents ongoing work on the implementation of the DiArg argumentation-based reasoning engine that focuses on automating sequential argumentation for inquiry and deliberation dialogues. The engine uses abstract argumentation in its core and implements a meta-layer to support argument context and enforce the consistency of inferences in compliance with the cautious monotony and reference independence principles. In addition, DiArg can enforce expansion properties of an argumentation framework w.r.t. its predecessors in an argumentation framework sequence.
|Number of pages||8|
|Journal||CEUR Workshop Proceedings|
|State||Published - 2020|
|Event||3rd International Workshop on Systems and Algorithms for Formal Argumentation, SAFA 2020 - Virtual, Online|
Duration: 8 Sep 2020 → …
Bibliographical noteFunding Information:
Copyright ©c 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). 1We thank Juan Carlos Nieves. This work was partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation. 2In particular, Tweety provides abstractions and solvers for abstract argumentation frameworks to DiArg.
© 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
- Dialogue systems
- Formal argumentation
- Non-monotonic reasoning