摘要: Inspired by some logical considerations, the paper proposes a novel perspective on use of two-players zero-sum games in abstract argumentation. The first introduces second-order modal logic, within which all main Dung-style semantics are shown to be formalizable, and then studies model checking game this logic. is used provide systematic theoretic proof procedure test membership with respect those formalizable discusses idea detail illustrates it providing for so-called skeptical preferred semi-stable semantics.
springer.com
sci-hub.se 参考文章(27)
Sanjay Modgil, Martin Caminada, Proof Theories and Algorithms for Abstract Argumentation Frameworks Applied Artificial Intelligence. pp. 105- 129 ,(2009) , 10.1007/978-0-387-98197-0_6
Johan van van Benthem, Logic in Games ,(2014)
Francesca Toni, Phan Minh Dung, Paolo Mancarella, A dialectic procedure for sceptical, assumption-based argumentation computational models of argument. pp. 145- 156 ,(2006)
Davide Grossi, An application of model checking games to abstract argumentation LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction. pp. 74- 86 ,(2011) , 10.1007/978-3-642-24130-7_5
P. M. Thang, P. M. Dung, A unified framework for representation and development of dialectical proof procedures in argumentation international joint conference on artificial intelligence. pp. 746- 751 ,(2009)
Johan van Benthem, Logical Dynamics of Information and Interaction ,(2014)
Davide Grossi, Argumentation in the view of modal logic ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems. pp. 190- 208 ,(2010) , 10.1007/978-3-642-21940-5_12
Claudette Cayrol, Sylvie Doutre, Jérôme Mengin, Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks european conference on symbolic and quantitative approaches to reasoning and uncertainty. pp. 668- 679 ,(2001) , 10.1007/3-540-44652-4_59
Davide Grossi, On the logic of argumentation theory adaptive agents and multi-agents systems. pp. 409- 416 ,(2010) , 10.5555/1838206.1838264
Gerard A. W. Vreeswik, Henry Prakken, Credulous and Sceptical Argument Games for Preferred Semantics Lecture Notes in Computer Science. pp. 239- 253 ,(2000) , 10.1007/3-540-40006-0_17