An argumentation system for reasoning with LPm

Wenzhao Qiao, Nico Roos

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

Qiao, W., & Roos, N. (2014). An argumentation system for reasoning with LPm. In Frontiers in Artificial Intelligence and Applications (pp. 753-758). IOS Press. Frontiers in Artificial Intelligence and Applications, Vol.. 263 https://doi.org/10.3233/978-1-61499-419-0-753
Qiao, Wenzhao ; Roos, Nico. / An argumentation system for reasoning with LPm. Frontiers in Artificial Intelligence and Applications. IOS Press, 2014. pp. 753-758 (Frontiers in Artificial Intelligence and Applications, Vol. 263).
@inbook{4cafe0f2e4c54da3886bcd3e64f0974c,
title = "An argumentation system for reasoning with LPm",
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.",
author = "Wenzhao Qiao and Nico Roos",
year = "2014",
doi = "10.3233/978-1-61499-419-0-753",
language = "English",
isbn = "9781614994183",
series = "Frontiers in Artificial Intelligence and Applications",
pages = "753--758",
booktitle = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
address = "Netherlands",

}

Qiao, W & Roos, N 2014, An argumentation system for reasoning with LPm. in Frontiers in Artificial Intelligence and Applications. IOS Press, Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 753-758. https://doi.org/10.3233/978-1-61499-419-0-753

An argumentation system for reasoning with LPm. / Qiao, Wenzhao; Roos, Nico.

Frontiers in Artificial Intelligence and Applications. IOS Press, 2014. p. 753-758 (Frontiers in Artificial Intelligence and Applications, Vol. 263).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - An argumentation system for reasoning with LPm

AU - Qiao, Wenzhao

AU - Roos, Nico

PY - 2014

Y1 - 2014

N2 - ? 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.

AB - ? 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.

U2 - 10.3233/978-1-61499-419-0-753

DO - 10.3233/978-1-61499-419-0-753

M3 - Chapter

SN - 9781614994183

T3 - Frontiers in Artificial Intelligence and Applications

SP - 753

EP - 758

BT - Frontiers in Artificial Intelligence and Applications

PB - IOS Press

ER -

Qiao W, Roos N. An argumentation system for reasoning with LPm. In Frontiers in Artificial Intelligence and Applications. IOS Press. 2014. p. 753-758. (Frontiers in Artificial Intelligence and Applications, Vol. 263). https://doi.org/10.3233/978-1-61499-419-0-753