English

Turing-Completeness of Dynamics in Abstract Persuasion Argumentation

Logic in Computer Science 2019-03-20 v1 Artificial Intelligence
Authors: Ryuta Arisaka
View on arXiv ↗ PDF ↗

Abstract

Abstract Persuasion Argumentation (APA) is a dynamic argumentation formalism that extends Dung argumentation with persuasion relations. In this work, we show through two-counter Minsky machine encoding that APA dynamics is Turing-complete.

Keywords

abstract persuasion argumentation turing completeness dynamic argumentation minsky machine dung argumentation

Cite

@article{arxiv.1903.07837,
  title  = {Turing-Completeness of Dynamics in Abstract Persuasion Argumentation},
  author = {Ryuta Arisaka},
  journal= {arXiv preprint arXiv:1903.07837},
  year   = {2019}
}

Related papers

View all related →
Logic in Computer Science · Computer Science
Qualitative uncertainty and dynamics of argumentation through dynamic logic
Antonio Yuste-Ginel, Andreas Herzig
2023-02-08
Artificial Intelligence · Computer Science
Numerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations
Ryuta Arisaka, Takayuki Ito
2020-01-24
Artificial Intelligence · Computer Science
Abstract Argumentation / Persuasion / Dynamics
Ryuta Arisaka, Ken Satoh
2018-11-08
Artificial Intelligence · Computer Science
AFRA: Argumentation framework with recursive attacks
Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Giovanni Guida
2018-10-12
Artificial Intelligence · Computer Science
Automata for Infinite Argumentation Structures
Pietro Baroni, Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin
2018-10-12
Artificial Intelligence · Computer Science
Some Supplementaries to The Counting Semantics for Abstract Argumentation
Fuan Pu, Jian Luo, Guiming Luo
2015-09-14
Artificial Intelligence · Computer Science
An action language-based formalisation of an abstract argumentation framework
Yann Munro, Camilo Sarmiento, Isabelle Bloch, Gauvain Bourgne +2
2024-10-01
Logic · Mathematics
An algebraic theory of {\omega}-regular languages, via {\mu}{\nu}-expressions
Anupam Das, Abhishek De
2025-05-16
Logic in Computer Science · Computer Science
Sound up-to techniques and Complete abstract domains
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
2018-05-03
Artificial Intelligence · Computer Science
Verifiability of Argumentation Semantics
Ringo Baumann, Thomas Linsbichler, Stefan Woltran
2016-04-01
Computation and Language · Computer Science
Natural-Language Multi-Agent Simulations of Argumentative Opinion Dynamics
Gregor Betz
2022-01-26
Artificial Intelligence · Computer Science
Stability in Abstract Argumentation
Jean-Guy Mailly, Julien Rossit
2020-12-24
Artificial Intelligence · Computer Science
Understanding ProbLog as Probabilistic Argumentation
Francesca Toni, Nico Potyka, Markus Ulbricht, Pietro Totis
2023-08-31
Artificial Intelligence · Computer Science
Compact Argumentation Frameworks
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass +1
2014-05-01
Logic in Computer Science · Computer Science
Compositional Reasoning for Parametric Probabilistic Automata
Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
2025-06-11
Systems and Control · Electrical Eng. & Systems
Data-driven Abstractions for Verification of Deterministic Systems
Rudi Coppola, Andrea Peruffo, Manuel Mazo
2023-03-30
Artificial Intelligence · Computer Science
Probabilistic Argumentation with Epistemic Extensions and Incomplete Information
Anthony Hunter, Matthias Thimm
2014-05-15
Artificial Intelligence · Computer Science
A Formalisation of Abstract Argumentation in Higher-Order Logic
Alexander Steen, David Fuenmayor
2021-10-19
Artificial Intelligence · Computer Science
Non-flat ABA is an Instance of Bipolar Argumentation
Markus Ulbricht, Nico Potyka, Anna Rapberger, Francesca Toni
2024-01-09
Emerging Technologies · Computer Science
Native Chemical Automata and the Thermodynamic Interpretation of Their Experimental Accept/Reject Responses
Marta Duenas-Diez, Juan Perez-Mercader
2019-03-12
Artificial Intelligence · Computer Science
Artificial Persuasion in Pedagogical Games
Zhiwei Zeng
2016-01-26
Artificial Intelligence · Computer Science
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner, Stefan Woltran
2016-04-20
Artificial Intelligence · Computer Science
Towards Preserving Semantic Structure in Argumentative Multi-Agent via Abstract Interpretation
Minal Suresh Patil
2022-11-30
Logic in Computer Science · Computer Science
Compositional Reasoning for Probabilistic Automata with Uncertainty
Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen
2026-04-01
Artificial Intelligence · Computer Science
Extension-based Semantics of Abstract Dialectical Frameworks
Sylwia Polberg
2014-05-05