A Logic Based Asynchronous Multi-Agent System
2002 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 70, no 5, 72-88 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
2002. Vol. 70, no 5, 72-88 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-61031DOI: 10.1016/S1571-0661(04)80589-9OAI: oai:DiVA.org:liu-61031DiVA: diva2:360349