An argumentation system for reasoning with LPm

Wenzhao Qiao*, Nico Roos

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

? 2014 The Authors and IOS Press.Inconsistent knowledge-bases can entail useful conclusions when using the three-valued semantics of the paraconsistent logic LP. However, the set of conclusions entailed by a consistent knowledge-base under the three-valued semantics is smaller than set of conclusions entailed by the knowledge-base under a two-valued semantics. Preferring conflict-minimal interpretations of the logic LP; i.e., LPm, reduces the gap between these two sets of conclusions. Preferring conflict-minimal interpretations introduces non-monotonicity. To handle the non-monotonicity, this paper proposes an assumption-based argumentation system. Assumptions needed to close branches of a semantic tableaux form the arguments. Stable extensions of the set of derived arguments correspond to conflict minimal interpretations and conclusions entailed by all conflict-minimal interpretations are supported by arguments in all stable extensions.
Original languageEnglish
Title of host publicationFrontiers in Artificial Intelligence and Applications
PublisherIOS Press
Pages753-758
Number of pages6
ISBN (Print)9781614994183
DOIs
Publication statusPublished - 2014

Publication series

SeriesFrontiers in Artificial Intelligence and Applications
Volume263

Cite this