A SAT-based Approach for Argumentation Dynamics - Logique, Interaction, Langue et Calcul
Communication Dans Un Congrès Année : 2024

A SAT-based Approach for Argumentation Dynamics

Résumé

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.
Fichier principal
Vignette du fichier
p2351.pdf (988.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04647834 , version 1 (15-07-2024)

Identifiants

  • HAL Id : hal-04647834 , version 1

Citer

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly. A SAT-based Approach for Argumentation Dynamics. 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), May 2024, Auckland (Nouvelle-Zélande), France. ⟨hal-04647834⟩
99 Consultations
32 Téléchargements

Partager

More