Argumentative and Cooperative Multi-agent System for Extended Logic Programming

Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing agents in a distributed framework. In this paper we de ne an argumentative and cooperative multi-agent framework, introducing credulous and sceptical conclusions. We also present an algorithm for inference and show how the agents can have more credulous or sceptical conclusions.

• Type: Conference
• Year: 1998
• Where: SBIA
• Authors: Iara de Almeida Móra, José Júlio Alferes
• Keywords: Artificial Intelligence, Cooperative Multi-agent Framework, Extended Logic Programs, SBIA 1998, Sceptical Conclusions