A logic based asynchronous multi-agent system

Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira

Research output: Contribution to journalConference articlepeer-review

9 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)72-88
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Issue number5
Publication statusPublished - 1 Jan 2002
EventCLIMA'2002, Computational Logic in Multi-Agent Systems (FLoC Satellite Event) - Copenhagen, Denmark
Duration: 1 Aug 20021 Aug 2002


Dive into the research topics of 'A logic based asynchronous multi-agent system'. Together they form a unique fingerprint.

Cite this