Argumentation frameworks with necessities. (English)
Benferhat, Salem (ed.) et al., Scalable uncertainty management. 5th international conference, SUM 2011, Dayton, OH, USA, October 10‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23962-5/pbk). Lecture Notes in Computer Science 6929. Lecture Notes in Artificial Intelligence, 163-176 (2011).
Summary: In this paper, we introduce argumentation frameworks with necessities (AFNs), an extension of Dung’s argumentation frameworks (AFs) taking into account a necessity relation as a kind of support relation between arguments (an argument is necessary for another). We redefine the acceptability semantics for these extended frameworks and we show how the necessity relation allows a direct and easy correspondence between a fragment of logic programs (LPs) and AFNs. We introduce then a further generalization of AFNs that extends the necessity relation to deal with sets of arguments. We give a natural adaptation of the acceptability semantics to this new context and show that the generalized frameworks allow to encode arbitrary logic programs.