A SAT-based Approach for Argumentation Dynamics

Open Webpage

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly

Published: 2024, Last Modified: 06 Oct 2025AAMAS 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: In the realm of multi-agent systems, argumentative dialogues for persuasion and negotiation involve autonomous agents exchanging arguments, necessitating continual re-evaluation of argument acceptability. This study introduces a novel approach using modern SAT solving techniques to dynamically reassess the acceptability status of arguments, aligning with various classical semantics. Our method uses the assumption mechanism in SAT solvers, distinguished by minimal assumptions, ensuring practicality.