Nowadays, argumentation is a salient keyword in artificial intelligence. The use of argumentation techniques is par- ticularly convenient for thematics such that multiagent systems, where it allows to describe dialog protocols (using persuasion, negotiation, ...) or on-line discussion analysis; it also allows to handle queries where a single agent has to reason with conflicting information (inference in the presence of inconsistency, inconsistency measure). This very rich framework gives numerous reasoning tools, thanks to several acceptability semantics and inference policies. On the other hand, the progress of SAT solvers in the recent years, and more generally the progress on Constraint Programming paradigms, lead to some powerful approaches that permit tackling theoretically hard problems. The needs of efficient applications to solve the usual reasoning tasks in argumentation, together with the capabilities of modern Constraint Programming solvers, lead us to study the encoding of usual acceptability semantics into logical settings. We propose diverse use of Constraint Programming techniques to develop a software library dedicated to argumentative reasoning. We present a library which offers the advantages to be generic and easily adaptable. We finally describe an experimental study of our approach for a set of semantics and inference tasks, and we describe the behaviour of our solver during the First International Competition on Computational Models of Argumentation.
@inproceedings{ictai2015,author={Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},title={{CoQuiAAS}: A {C}onstraint-based {Q}uick {A}bstract {A}rgumentation {S}olver},booktitle={27th {IEEE} {I}nternational {C}onference on {T}ools with {A}rtificial {I}ntelligence ({ICTAI} 2015)},pages={928--935},year={2015},}
CoQuiAAS : Applications de la programmation par contraintes à l’argumentation abstraite
@inproceedings{jfpc2015,title={{CoQuiAAS} : {A}pplications de la programmation par contraintes \`a l'argumentation abstraite},booktitle={11\`emes {J}ourn\'ees {F}rancophones de la {P}rogrammation par {C}ontraintes ({JFPC} 2015)},pages={77--85},author={Lagniez, Jean-Marie and Lonca, Emmanuel and Mailly, Jean-Guy},year={2015},}
CoQuiAAS : Applications de la programmation par contraintes à l’argumentation abstraiteIn 11èmes Journées Francophones de la Programmation par Contraintes (JFPC 2015), 2015