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.
|Number of pages||17|
|Journal||Electronic Notes in Theoretical Computer Science|
|Publication status||Published - 1 Jan 2002|
|Event||CLIMA'2002, Computational Logic in Multi-Agent Systems (FLoC Satellite Event) - Copenhagen, Denmark|
Duration: 1 Aug 2002 → 1 Aug 2002