A logic based asynchronous multi-agent system
2002 (English)Conference paper (Other academic)
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. © 2002 Published by Elsevier Science B.V.
Place, publisher, year, edition, pages
2002. Vol. 70, no 5, 77-93 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-46898DOI: 10.1016/S1571-0661(04)80589-9OAI: oai:DiVA.org:liu-46898DiVA: diva2:267794