On Warranted Inference in Argument Trees Based Framework
In this paper, we focus on logical argumentation introduced by Besnard and Hunter. First, we consider the so-called warranted inference which is based on the dialectical principle that is widely used in the literature of argumentatation. More precisely, we compare warranted inference with respect to the most frequently used coherence based approaches from flat belief bases in terms of productivity. It turns out that warranted inference is incomparable, w.r.t. productivity, with almost the coherence based approaches considered in this paper. Also, although too productive in some situations, warranted inference does not entail some very desirable conclusions which correspond to those which can be entailed from each consistent formula. Then, we introduce a new inference relation where the key idea is that the support of a counter-argument must not entail the conclusion of the objected argument which is quite intuitive. We show then that this inference relation ensures the inference of the previous desirable conclusions. Besides, we suggest to distinguish two levels of attacks: strong attacks and weak attacks. We propose then to weight our new inference relation based on the structure of the argument tree and also by taking into account the level strength of attacks.
KeywordsBelief Base Argumentation Framework Inference Relation Attack Relation Argument Tree
Unable to display preview. Download preview PDF.
- 3.Amgoud, L., Dimopoulos, Y., Moraitis, P.: A unified and general framework for argumentation-based negotiation. In: AAMAS, p. 158 (2007)Google Scholar
- 4.Benferhat, S., Dubois, D., Prade, H.: Argumentative inference in uncertain and inconsistent knowledge bases. In: UAI, pp. 411–419 (1993)Google Scholar
- 8.Besnard, P., Hunter, A.: Argumentation based on classical logic. In: Rahwan, I., Simari, G. (eds.) Argumentation in Artificial Intelligence (2009)Google Scholar
- 9.Cayrol, C.: On the relation between argumentation and non-monotonic coherence-based entailment. In: IJCAI, pp. 1443–1448 (1995)Google Scholar
- 15.Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents. In: AAMAS, pp. 883–890 (2003)Google Scholar
- 16.Lagasquie-Schiex, M.-C.: Contribution à l’étude des relations d’inférence non-monotone combinant inférence classique et préférences. Thèse de doctorat, Université Paul Sabatier, Toulouse, France (Décembre 1995)Google Scholar
- 17.Martinez, M.V., Hunter, A.: Incorporating classical logic argumentation into policy-based inconsistency management in relational databases. In: The Uses of Computational Argumentation Symposium, AAAI 2009 Fall Symposium Series (2009)Google Scholar
- 18.Pinkas, G., Loui, R.P.: Reasoning from inconsistency: A taxonomy of principles for resolving conflict. In: KR, pp. 709–719 (1992)Google Scholar
- 21.Verheij, B.: Automated argument assistance for lawyers. In: ICAIL, pp. 43–52 (1999)Google Scholar