Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction
Compared to abstract argumentation theory which encapsulates the exact nature of arguments, logic-based argumentation is more specific and represents arguments in formal logic. One significant advantage of logic-based argumentation over abstract argumentation is that it can directly benefit from logical properties such as logical consistency, promoting adherence of an argumentation framework to rational principles. On the other hand, a logical argumentation framework based on classical logic has been also reported of its less-than-desirable utility. In this work we show a way of enhancing utility without sacrificing so much of rationality. We propose a rational argumentation framework with just classical logic sentences and a belief contraction operation. Despite its minimalistic appearance, this framework can characterise attack strengths, allowing us to facilitate coalition profitability and formability semantics we previously defined for abstract argumentation.
KeywordsFormability Semantic Abstract Argumentation Argumentation Framework External Argument Logical Inconsistency
We thank reviewers for very helpful comments.
- 3.Arisaka, R., Satoh, K.: Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments. arXiv e-prints:1605.00495 (2016)Google Scholar
- 4.Caminada, M., Amgoud, L.: An axiomatic account of formal argumentation. In: AAAI, pp. 608–613 (2005)Google Scholar
- 12.Kaci, S., van der Torre, L., Weydert, E.: Acyclic argumentation: attack = conflict + preference. In: ECAI, pp. 725–726 (2006)Google Scholar
- 14.Prakken, H.: A study of accrual of arguments, with applications to evidential reasoning. In: ICAIL, pp. 85–94 (2005)Google Scholar