A Multi-Agent System for Mobile Environments

  • Jianwen Chen
  • Yan Zhang
Conference paper
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 163)


In this paper, we present a framework/model for a logic programming multi-agent system in mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels, and we model the interactions between agents in our formalization. Our formalization is knowledge oriented with declarative semantics. Our model can be used to study the details of knowledge transaction in mobile environments.

Key words

multi-agent system mobile environments extended logic programming 


  1. 1.
    Baral, C., Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.Google Scholar
  2. 2.
    Baral, C., and Gelfond, M., Logic Programming and Knowledge Representation, Logic Programming, 1994, pp. 73–148.Google Scholar
  3. 3.
    Bettini, L., et al, KLAVA: a Java package for distributed and mobile applications, Software Practice and Experience, 32 (2002) 1365–1394.zbMATHCrossRefGoogle Scholar
  4. 4.
    Cardelli, L., Gordon, A. D., Mobile Ambients, Theoretical Computer Science, 240 (2000), 177–213.MathSciNetCrossRefGoogle Scholar
  5. 5.
    Cardelli, L., Gordon, A. D., Types for the Ambient Calculus, Information and Computation 177 (2002), 160–194.MathSciNetGoogle Scholar
  6. 6.
    Deugo D. Choosing a mobile agent messaging model, Proceedings of ISADS 2001. IEEE Press, 2001;278–286.Google Scholar
  7. 7.
    Eiter, T., and et al., A deductive system for nonmonotonic reasoning, in proceedings of the 4th International conference on Logic Programming and Nonmonotonic Reasoning (LPNMR97), pp 363–374. LNAI, Vol. 1265, 1997.Google Scholar
  8. 8.
    Gelfond, M., and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 1991, pp. 365–385.Google Scholar
  9. 9.
    Imielinski, T., and Korth, H.F., Mobile computing, Kluwer Academic Publishers, 1996.Google Scholar
  10. 10.
    Komiya, T., et al, Mobile Agent Model for Transaction Processing on Distributed Objects, Information Sciences, 2003, pp. 1–16.Google Scholar
  11. 11.
    Lange D, Oshima M., Programming and Deploying Java Mobile Agents with Aglets, Addision-Wesley: Reading, MA, 1998.Google Scholar
  12. 12.
    Milner, R., et al, A calculus of mobile processes, Parts 1–2, Information and Computation, 100(1) (1992) 1–77.zbMATHMathSciNetCrossRefGoogle Scholar
  13. 13.
    Milojicic, D. Mobile Agent Applications, IEEE Concurrency, 1999, pp. 80–90.Google Scholar
  14. 14.
    Mirghafori, N., and Fontaine, A., A Design for File Access in a Mobile Environment, in proceedings of the IEEE-Conference on Mobile Computing, 1995, pp. 57–61.Google Scholar
  15. 15.
    Rao, P., et al, XSB: A system for efficiently computing well-founded semantics, in Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, pp 2–17. LNAI, vol. 1265, 1997.Google Scholar
  16. 16.
    Vos, M. D., and Vermeir, D., Extending Answer Sets for Logic Programming Agents, in Proceedings of the Logic in Artificial Intelligence (Jelia2000) workshop, 2000.Google Scholar
  17. 17.
    Wooldridge, M., An Introduction to Multiagent Systems, John Wiley & Sons, LTD, 2002.Google Scholar

Copyright information

© International Federation for Information Processing 2005

Authors and Affiliations

  • Jianwen Chen
    • 1
    • 2
  • Yan Zhang
    • 2
  1. 1.IBM AustraliaNorth SydneyAustralia
  2. 2.School of Computing & ITUniversity of Western SydneyPenrith South DCAustralia

Personalised recommendations