Affiliation:
1. Faculty of Philosophy, Kim Il Sung University, Pyongyang, The Democratic People’s Republic of Korea
Abstract
It is often necessary and reasonable to justify preferences before reasoning from them. Moreover, justifying a preference ordering is reduced to justifying the criterion that produces the ordering. This paper builds on the well-known ASPIC+ formalism to develop a model that integrates justifying qualitative preferences with reasoning from the justified preferences. We first introduce a notion of preference criterion in order to model the way in which preferences are justified by an argumentation framework. We also adapt the notion of argumentation theory to build a sequence of argumentation frameworks, in which an argumentation framework justifies preferences that are to underlie the next framework. That is, in our formalism, preferences become not only an input of an argumentation framework, but also an output of it. This kind of input-output process can be applied in the further steps of argumentation. We also explore some interesting properties of our formalism.
Subject
Artificial Intelligence,Computational Mathematics,Computer Science Applications,Linguistics and Language
Reference68 articles.
1. A reasoning model based on the production of acceptable arguments;Amgoud;Ann. Math. Artif. Intell.,2002
2. Inferring from inconsistency in preference-based argumentation frameworks;Amgoud;Int. J. Approx. Reason.,2002
3. L. Amgoud, C. Cayrol and D. LeBerre, Comparing arguments using preference orderings for argument-based reasoning, in: Proceedings of the 8th International Conference on Tools with Artificial Intelligence, 1996, pp. 400–403.
4. Modelling dialogues using argumentation
5. L. Amgoud and S. Parsons, An argumentation framework for merging conflicting knowledge bases, in: Lecture Notes in Artificial Intelligence, S. Flesca, S. Greco, N. Leone and G. Ianni, eds, Vol. 2424, Springer-Verlag, Berlin Heidelberg, 2002, pp. 27–37.