资源分类
》 资源 》论文》Formal Analysis of Dialogues on Infinite Argumentation Frameworks

Formal Analysis of Dialogues on Infinite Argumentation Frameworks

2019-11-18 | |  70 |   44 |   0

Abstract The paper analyses multi-agent strategic dialogues on possibly infinite argumentation frameworks. We develop a formal model for representing such dialogues, and introduce FOA -ATL, a first-order extension of alternating-time logic, for expressing the interplay of strategic and argumentation-theoretic properties. This setting is investigated with respect to the model checking problem, by means of a suitable notion of bisimulation. This notion of bisimulation is also used to shed light on how static properties of argumentation frameworks influence their dynamic behaviour.

上一篇：Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems

下一篇：On the Graded Acceptability of Arguments

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...