Abstract
In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties of such an argumentation-based entailment relation and show its promising advantages in paraconsistent reasoning for inconsistent knowledge bases. Moreover, two basic inference problems, namely, satisfiability of concepts and query entailment, are discussed under our semantics. We provide a workable example in order to show the justifiability of the argumentation-based semantics. © 2010 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Zhang, X., Zhang, Z., Xu, D., & Lin, Z. (2010). Argumentation-based reasoning with inconsistent knowledge bases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6085 LNAI, pp. 87–99). https://doi.org/10.1007/978-3-642-13059-5_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
