On the logic of argumentation theory

The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), new techniques (e.g., calculi, model-checking games, bisimulation games), and results (e.g., completeness of calculi, adequacy of games, complexity of model-checking) from logic to argumentation. Categories and Subject Descriptors I.2.4 [Knowledge Representation Formalisms and Methods]: Modal logic General Terms Theory Keywords Argumentation theory, modal logic

• Type: Conference
• Year: 2010
• Where: ATAL
• Authors: Davide Grossi
• Keywords: Argumentation Theory, ATAL 2010, Intelligent Agents, Modal Logic, Theory Keywords Argumentation