15th European Conference on Artificial Intelligence
  July 21-26 2002     Lyon     France  

ECAI-2002 Conference Paper

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

Notions of Attack and Justified Arguments for Extended Logic Programs

Ralf Schweimeier, Michael Schroeder

The concept of argumentation may be used to give a formal semantics to a variety of assumption based reasoning formalisms. In particular, various argumentation semantics have been proposed for logic programming with default negation. For extended logic programming, i.e. logic programming with two kinds of negation, there arise a variety of notions of attack on an argument, and therefore a variety of different argumentation semantics. The purpose of this paper is to shed some light on these various semantics, and examine the relationship between different semantics. We identify a number of different notions of attack for extended logic programs, and compare the resulting least fixpoint semantics, defined via acceptability of arguments. We investigate the validity of the coherence principle and notions of consistency for these semantics.

Keywords: Nonmonotonic Reasoning, Logic Programming

Citation: Ralf Schweimeier, Michael Schroeder: Notions of Attack and Justified Arguments for Extended Logic Programs. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.536-540.

[prev] [tofc] [next]

ECAI-2002 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the UniversitÚ Claude Bernard and INSA, Lyon, on behalf of Association Franšaise pour l'Intelligence Artificielle.