当前位置: X-MOL 学术Ann. Math. Artif. Intel. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics
Annals of Mathematics and Artificial Intelligence ( IF 1.2 ) Pub Date : 2021-07-06 , DOI: 10.1007/s10472-021-09758-y
Jesse Heyninck 1 , Gabriele Kern-Isberner 1 , Matthias Thimm 2 , Kenneth Skiba 2
Affiliation  

The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent intensified efforts. We contribute to a deeper understanding of this relation by investigating characterizations of abstract dialectical frameworks in conditional logics for nonmonotonic reasoning. We first show that in general, there is a gap between argumentation and conditional semantics when applying several intuitive translations, but then prove that this gap can be closed when focusing on specific classes of translations.



中文翻译:

抽象辩证框架与非单调条件逻辑的对应关系

形式论证和非单调逻辑之间的确切关系是一个研究课题,尽管最近加大了努力,但它仍然是一个研究课题。通过研究非单调推理的条件逻辑中抽象辩证框架的特征,我们有助于更深入地理解这种关系。我们首先表明,一般来说,在应用几种直观翻译时,论证和条件语义之间存在差距,但随后证明,当关注特定类别的翻译时,这一差距可以缩小。

更新日期:2021-07-06
down
wechat
bug