On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics-Reference-Cited by-同舟云学术

On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics

Published:2021-07-06 Issue:10-11 Volume:89 Page:1075-1099
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Heyninck Jesse^ORCID,Kern-Isberner Gabriele,Thimm Matthias,Skiba Kenneth

Abstract

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

Funder

Technische Universität Dortmund

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

https://link.springer.com/content/pdf/10.1007/s10472-021-09758-y.pdf

Reference35 articles.

1. Arieli, O., Heyninck, J.: Prioritized simple contrapositive assumption-based frameworks. In: Proceedings of the 24th European Conference on Artificial Intelligence (ECAI20). IOS Press. http://www2.mta.ac.il/oarieli/Papers/ecai20.pdf (2020)

2. Arlo-Costa, H.: The Logic of Conditionals. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Summer 2019 edn. Metaphysics Research Lab, Stanford University (2019)

3. Besnard, P., Garcia, A., Hunter, A., Modgil, S., Prakken, H., Simari, G., Toni, F.: Introduction to structured argumentation. Argument & Computation 5(1), 1–4 (2014)

4. Besnard, P., Grégoire, É., Raddaoui, B.: A conditional logic-based argumentation framework. In: International Conference on Scalable Uncertainty Management, pp. 44–56. Springer (2013)

5. Besnard, P., Hunter, A.: Elements of Argumentation, vol. 47. MIT Press, Cambridge (2008)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks;Artificial Intelligence;2023-04

2. Ordinal Conditional Functions for Abstract Argumentation;Computational Models of Argument;2022-09-07

3. Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving;Artificial Intelligence;2022-06