资源论文A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation

A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation

2019-11-15 | |  76 |   42 |   0

Abstract We present an unifified methodology for representation and development of dialectical proof procedures in abstract argumentation based on the notions of legal environments and dispute derivations. A legal environment specififies the legal moves of the dispute parties while a dispute derivation describes the procedure structure. A key insight of this paper is that the opponent moves determine the soundness of a dispute while the completeness of a dispute procedure depends on the proponent moves

上一篇:A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics

下一篇:Decomposition of Declarative Knowledge Bases with External Functions

用户评价
全部评价

热门资源

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

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...