Argumentation update in YALLA (Yet Another Logic Language for Argumentation)

作者: Florence Dupin de Saint-Cyr , Pierre Bisquert , Claudette Cayrol , Marie-Christine Lagasquie-Schiex

DOI: 10.1016/J.IJAR.2016.04.003

关键词:

摘要: This article proposes a complete framework for handling the dynamics of an abstract argumentation system. frame can encompass several belief bases under form systems, more precisely it is possible to express and study how agent who has her own system interact on target (that may represent state knowledge at given stage debate). The two systems are defined inside reference called universe which constitutes kind "common language". paper establishes three main results. First, we show that change in such be seen as particular case update. Second, have introduced new logical language YALLA structure encoded, enabling all basic notions theory (defense, conflict-freeness, extensions) by formulae YALLA. Third, due previous works about been position provide set properties specific We propose system.This systems.We update.We introduce encoded.We

参考文章(58)
HENRY PRAKKEN, Formal systems for persuasion dialogue Knowledge Engineering Review. ,vol. 21, pp. 163- 188 ,(2006) , 10.1017/S0269888906000865
Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex, Change in argumentation systems: exploring the interest of removing an argument scalable uncertainty management. pp. 275- 288 ,(2011) , 10.1007/978-3-642-23963-2_22
Pierre Bisquert, Claudette Cayrol, Florence Dupin De Saint-Cyr, Marie-Christine Lagasquie, Goal-Driven Changes in Argumentation: A Theoretical Framework and a Tool international conference on tools with artificial intelligence. pp. 610- 617 ,(2013) , 10.1109/ICTAI.2013.96
C. Cayrol, F. Dupin de Saint-Cyr, M. Lagasquie-Schiex, Change in abstract argumentation frameworks: adding an argument Journal of Artificial Intelligence Research. ,vol. 38, pp. 49- 84 ,(2010) , 10.1613/JAIR.2965
Emilia Oikarinen, Stefan Woltran, Characterizing strong equivalence for argumentation frameworks Artificial Intelligence. ,vol. 175, pp. 1985- 2009 ,(2011) , 10.1016/J.ARTINT.2011.06.003
Sylvie Coste-Marquis, Jean-Guy Mailly, Pierre Marquis, Sébastien Konieczny, On the revision of argumentation systems: minimal change of arguments statuses principles of knowledge representation and reasoning. pp. 52- 61 ,(2014)
Michael Wooldridge, Peter McBurney, Simon Parsons, On the meta-logic of arguments adaptive agents and multi-agents systems. pp. 560- 567 ,(2005) , 10.1145/1082473.1082558
Nikos Karacapilidis, Dimitris Papadias, Computer supported argumentation and collaborative decision making: the HERMES system Information Systems. ,vol. 26, pp. 259- 277 ,(2001) , 10.1016/S0306-4379(01)00020-5
Carlos E. Alchourrón, Peter Gärdenfors, David Makinson, On the logic of theory change: Partial meet contraction and revision functions Journal of Symbolic Logic. ,vol. 50, pp. 510- 530 ,(1985) , 10.2307/2274239