| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 627.53 KB | Adobe PDF |
Orientador(es)
Resumo(s)
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 define 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.
Descrição
Palavras-chave
Semantics argumentation frameworks Artificial intelligence Multi agent systems Reconfigurable hardware Distributed computer systems Logic programming Computation theory Computer circuits Inference engines General Computer Science Theoretical Computer Science
