Title :
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
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;
Conference_Titel :
Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-4253-4
DOI :
10.1109/ICIPS.1997.672754
