Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Baral, C., Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
Baral, C., and Gelfond, M., Logic Programming and Knowledge Representation, Logic Programming, 1994, pp. 73–148.
Bettini, L., et al, KLAVA: a Java package for distributed and mobile applications, Software Practice and Experience, 32 (2002) 1365–1394.
Cardelli, L., Gordon, A. D., Mobile Ambients, Theoretical Computer Science, 240 (2000), 177–213.
Cardelli, L., Gordon, A. D., Types for the Ambient Calculus, Information and Computation 177 (2002), 160–194.
Deugo D. Choosing a mobile agent messaging model, Proceedings of ISADS 2001. IEEE Press, 2001;278–286.
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.
Gelfond, M., and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 1991, pp. 365–385.
Imielinski, T., and Korth, H.F., Mobile computing, Kluwer Academic Publishers, 1996.
Komiya, T., et al, Mobile Agent Model for Transaction Processing on Distributed Objects, Information Sciences, 2003, pp. 1–16.
Lange D, Oshima M., Programming and Deploying Java Mobile Agents with Aglets, Addision-Wesley: Reading, MA, 1998.
Milner, R., et al, A calculus of mobile processes, Parts 1–2, Information and Computation, 100(1) (1992) 1–77.
Milojicic, D. Mobile Agent Applications, IEEE Concurrency, 1999, pp. 80–90.
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.
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.
Vos, M. D., and Vermeir, D., Extending Answer Sets for Logic Programming Agents, in Proceedings of the Logic in Artificial Intelligence (Jelia2000) workshop, 2000.
Wooldridge, M., An Introduction to Multiagent Systems, John Wiley & Sons, LTD, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Chen, J., Zhang, Y. (2005). A Multi-Agent System for Mobile Environments. In: Shi, Z., He, Q. (eds) Intelligent Information Processing II. IIP 2004. IFIP International Federation for Information Processing, vol 163. Springer, Boston, MA. https://doi.org/10.1007/0-387-23152-8_2
Download citation
DOI: https://doi.org/10.1007/0-387-23152-8_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-23151-8
Online ISBN: 978-0-387-23152-5
eBook Packages: Computer ScienceComputer Science (R0)