A coordination protocol for abductive logic agents

Author

Ciampolini, Anna ; Lamma, Evelina ; Stefanelli, Cesare ; Mello, Paola

Author_Institution

Dipartimento di Elettronica, Inf. e Sistemistica, Bologna Univ., Italy

Volume

1

fYear

1997

fDate

28-31 Oct 1997

Firstpage

143

Abstract

We show how abduction can be introduced in a (logic) multi agent environment by presenting a basic coordination protocol among agents. In particular, we define and implement a distributed protocol to coordinate the reasoning of all the abductive agents in the system, inspired by the basic algorithm for abductive reasoning presented by A.C. Kakas and P. Mancarella (1990). In the implementation we use a logic programming parallel and distributed language with multi head guarded clauses and committed choice behaviour

Keywords

Horn clauses; cooperative systems; inference mechanisms; logic programming languages; parallel languages; protocols; software agents; abduction; abductive logic agents; abductive reasoning; basic coordination protocol; committed choice behaviour; coordination protocol; distributed language; distributed protocol; logic multi agent environment; logic programming parallel language; multi head guarded clauses; Automatic logic units; Deductive databases; Distributed computing; Humans; Intelligent agent; Logic programming; Multiagent systems; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on

Conference_Location

Beijing

Print_ISBN

0-7803-4253-4

Type

conf

DOI

10.1109/ICIPS.1997.672754

Filename

672754