2011 | OriginalPaper | Chapter
An Application of Model Checking Games to Abstract Argumentation
Author : Davide Grossi
Published in: Logic, Rationality, and Interaction
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
The paper presents a logical study of abstract argumentation theory. It introduces a second-order modal logic, within which all main known semantics for abstract argumentation can be formalized, and studies the model checking game of this logic. The application of the game to the formalized semantics yields adequate game-theoretic proof procedures for all known extension-based semantics, in both their skeptical and credulous versions.