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.
1999
9781581130867
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11392/1195761
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 1
social impact