TY - JOUR
T1 - A logic based asynchronous multi-agent system
AU - Dell'Acqua, Pierangelo
AU - Nilsson, Ulf
AU - Pereira, Luís Moniz
N1 - L. M. Pereira acknowledges the support of POCTI project 40958 “FLUX - FleXible Logical Updates” and P. Dell’Acqua a Research Grant by the Stif-telsen Lars Hiertas Minne.
PY - 2002/1/1
Y1 - 2002/1/1
N2 - We present a logic programming based asynchronous multi-agent system in which agents can communicate with one another; update themselves and each other; abduce hypotheses to explain observations, and use them to generate actions. The knowledge base of the agents is comprised of generalized logic programs, integrity constraints, active rules, and of abducibles. We characterize the interaction among agents via an asynchronous transition rule system, and provide a stable models based semantics. An example is developed to illustrate how our approach works.
AB - We present a logic programming based asynchronous multi-agent system in which agents can communicate with one another; update themselves and each other; abduce hypotheses to explain observations, and use them to generate actions. The knowledge base of the agents is comprised of generalized logic programs, integrity constraints, active rules, and of abducibles. We characterize the interaction among agents via an asynchronous transition rule system, and provide a stable models based semantics. An example is developed to illustrate how our approach works.
UR - http://www.scopus.com/inward/record.url?scp=10244249900&partnerID=8YFLogxK
U2 - 10.1016/S1571-0661(04)80589-9
DO - 10.1016/S1571-0661(04)80589-9
M3 - Conference article
AN - SCOPUS:10244249900
SN - 1571-0661
VL - 70
SP - 72
EP - 88
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - 5
T2 - CLIMA'2002, Computational Logic in Multi-Agent Systems (FLoC Satellite Event)
Y2 - 1 August 2002 through 1 August 2002
ER -