[PDF][PDF] On the logic of argumentation theory
D Grossi - Proceedings of the 9th International Conference on …, 2010 - ifaamas.org
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010•ifaamas.org
The paper applies modal logic to formalize fragments of argumentation theory. Such
formalization allows to import, for free, a wealth of new notions (eg, argument equivalence),
new techniques (eg, calculi, model-checking games, bisimulation games), and results (eg,
completeness of calculi, adequacy of games, complexity of model-checking) from logic to
argumentation.
formalization allows to import, for free, a wealth of new notions (eg, argument equivalence),
new techniques (eg, calculi, model-checking games, bisimulation games), and results (eg,
completeness of calculi, adequacy of games, complexity of model-checking) from logic to
argumentation.
Abstract
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (eg, argument equivalence), new techniques (eg, calculi, model-checking games, bisimulation games), and results (eg, completeness of calculi, adequacy of games, complexity of model-checking) from logic to argumentation.
ifaamas.org
以上显示的是最相近的搜索结果。 查看全部搜索结果