Vivid Agents arguing about Distributed Extended Logic
Programs
Michael Schroeder and Iara Mora
Abstract: Argumentation semantics in extended logic programming has
been defined by Dung, Prakken and Sartor for a single agent which determines
its believes by an internal argumentation process. In this paper we extend
the initial argumentation framework to a multi-agent setting including
both argumentation and cooperation. We define inference for multi-agent
systems and define an algorithm for inference. We sketch an argumentation
protocol and line out by an example how it is implemented using vivid agents.
Full
Paper