An extended logic programming based multi-agent system formalization in mobile environments

Authors:
Jianwen Chen;Yan Zhang
Affiliations:
IBM Australia, North Sydney, Australia and University of Western Sydney, Australia;University of Western Sydney, Penrith, Australia
Venue:
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Year:
2004

Citing 4
Cited 0

Mobile ambients

Theoretical Computer Science
Programming and Deploying Java Mobile Agents Aglets

Programming and Deploying Java Mobile Agents Aglets
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Mobile Agent Applications

IEEE Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose an extended logic programming based formalization for a multi-agent system in mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels. Our formalization is knowledge oriented and has declarative semantics inherited from extended logic programming. This model can be used to study the details of knowledge transaction in mobile environments.