Affiliation:
1. Department of Philosophy, Nanchang University, Xuefu Road 999, Nanchang 330031, China
Abstract
Dung’s abstract argumentation framework is a popular formalism in formal argumentation. The present work develops paraconsistent labeling semantics for abstract argumentation such that the incomplete and inconsistent information can be expressed, and it introduces a Hilbert-style axiomatic system which is proven to be sound and complete. Additionally, we make a comparison between the logic developed in the present work and some relevant theories of abstract argumentation.
Funder
Chinese National Funding of Social Sciences
Reference29 articles.
1. Argumentation in Artificial Intelligence;Dunne;Artif. Intell.,2007
2. Simari, G.R., and Rahwan, I. (2008). Argumentation in Artificial Intelligence, Springer.
3. Toward Artificial Argumentation;Atkinson;Artif. Intell. Mag.,2017
4. Chetouani, M., Dignum, V., Lukowicz, P., and Sierra, C. (2023). Human-Centered Artificial Intelligence (ACAI 2021), Springer.
5. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games;Dung;Artif. Intell.,1995