ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

A General Recursive Schema for Argumentation Semantics

Pietro Baroni, Massimiliano Giacomin

In argumentation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics has been introduced to solve the problems related to counterintuitive results produced by literature proposals. In this semantics, an important role is played by a recursive schema in the definition of extensions. This paper proves that all the semantics encompassed by Dung's framework adhere to this property, not previously considered in the literature, which we call SCC-recursiveness. We argue that this notion plays a general role in the definition and computation of argumentation semantics.

Keywords: Argumentation Semantics, Nonmonotonic Reasoning, Reasoning under Uncertainty

Citation: Pietro Baroni, Massimiliano Giacomin: A General Recursive Schema for Argumentation Semantics. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.783-787.

[prev] [tofc] [next]

ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).