资源论文Augmenting Tractable Fragments of Abstract Argumentation?

Augmenting Tractable Fragments of Abstract Argumentation?

2019-11-12 | |  42 |   27 |   0
Abstract We present a new and compelling approach to the ef?cient solution of important computational problems that arise in the context of abstract argumentation. Our approach makes known algorithms de?ned for restricted fragments generally applicable, at a computational cost that scales with the distance from the fragment. Thus, in a certain sense, we gradually augment tractable fragments. Surprisingly, it turns out that some tractable fragments admit such an augmentation and that others do not. More speci?cally, we show that the problems of credulous and skeptical acceptance are ?xedparameter tractable when parameterized by the distance from the fragment of acyclic argumentation frameworks. Other tractable fragments such as the fragments of symmetrical and bipartite frameworks seem to prohibit an augmentation: the acceptance problems are already intractable for frameworks at distance 1 from the fragments. For our study we use a broad setting and consider several different semantics. For the algorithmic results we utilize recent advances in ?xed-parameter tractability.

上一篇:Reasoning-Supported Interactive Revision of Knowledge Bases Nadeschda Nikitina1 and Sebastian Rudolph1 and Birte Glimm2

下一篇:Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ?

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

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

  • A Mathematical Mo...

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

  • Learning to Predi...

    Much of model-based reinforcement learning invo...