In this work, we introduce abduction in a (logic) multi-agent environment to achieve a basic coordination scheme among agents. In particular, we define and implement a distributed protocol to coordinate the reasoning of agents. Each agent performs hypothetical reasoning, achieved by means of abduction. To this purpose, each agent is characterised by a knowledge base presented by an abductive logic program. Agents coordinate themselves on the basis of knowledge represented by hypotheses posted into a tuple space. Agents might differ in their knowledge bases, but must agree on assumed hypotheses. We define a coordination protocol and tailor it for a basic abductive proof procedure. We also sketch an implementation, under development, obtained by using Java and SICStus Prolog.
A Coordination Protocol for Abductive Logic Agents
LAMMA, Evelina;STEFANELLI, Cesare
1999
Abstract
In this work, we introduce abduction in a (logic) multi-agent environment to achieve a basic coordination scheme among agents. In particular, we define and implement a distributed protocol to coordinate the reasoning of agents. Each agent performs hypothetical reasoning, achieved by means of abduction. To this purpose, each agent is characterised by a knowledge base presented by an abductive logic program. Agents coordinate themselves on the basis of knowledge represented by hypotheses posted into a tuple space. Agents might differ in their knowledge bases, but must agree on assumed hypotheses. We define a coordination protocol and tailor it for a basic abductive proof procedure. We also sketch an implementation, under development, obtained by using Java and SICStus Prolog.I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
