资源论文Labellings and Games for Extended Argumentation Frameworks

Labellings and Games for Extended Argumentation Frameworks

2019-11-15 | |  77 |   54 |   0

Abstract Dung’s abstract theory of argumentation has become established as a general framework for various species of non-monotonic reasoning, and reasoning in the presence of conflflict. A Dung framework consists of arguments related by attacks, and the extensions of a framework, and so the status of arguments, are defifined under different semantics. Developments of Dung’s work have also de- fifined argument labellings as an alternative way of characterising extensions, and dialectical argument game proof theories for establishing the status of individual arguments. Recently, Extended Argumentation Frameworks extend Dung’s theory so that arguments not only attack arguments, but attacks themselves. In this way, the extended theory provides an abstract framework for principled integration of meta-level argumentation about defeasible preferences applied to resolve conflflicts between object level arguments. In this paper we formalise labellings and argument games for a selection of Dung’s semantics defifined for the extended frameworks

上一篇:A Logic for Reasoning about Counterfactual Emotions

下一篇:A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...