资源分类
》 资源 》论文》Relating Carneades with Abstract Argumentation Bas van Gijzel Henry Prakken

Relating Carneades with Abstract Argumentation Bas van Gijzel Henry Prakken

2019-11-12 | |  50 |   47 |   0
Abstract Carneades is a recently proposed formalism for structured argumentation with varying proof standards. An open question is its relation with Dung’s seminal abstract approach to argumentation. In this paper the two formalisms are formally related by translating Carneades into ASPIC+ , another recently proposed formalism for structured argumentation. Since ASPIC+ is de?ned to generate Dungstyle abstract argumentation frameworks, this in effect translates Carneades graphs into abstract argumentation frameworks. It is proven that Carneades always induces a unique Dung extension, which is the same in all of Dung’s semantics.

上一篇：Beth De?nability in Expressive Description Logics Balder ten Cate? Enrico Franconi I?nanc? Seylan†

下一篇：On Qualitative Route Descriptions: Representation and Computational Complexity

用户评价
全部评价

热门资源

  • 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...