Published in Rahimi, S., Cobb, M., Ali, D., Yang, H., and Petry, F. E. (2002). An intelligence representation in agent systems: an extended π-calculus. Proceedings of the 2002 IEEE International Conference on Fuzzy Systems, 2002. FUZZ-IEEE'02, 185-190. doi: 10.1109/FUZZ.2002.1004984 ©2002 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.


Intelligent mobile agent technology is one of the most promising of the newer software paradigms for providing solutions to complex, distributed computing problems. Agent properties of autonomy, intelligence and mobility provide a powerful platform for implementations that can utilize techniques involving collaborative problem solving and adaptive behavior. Although the technological tools and capabilities have advanced to this point, research into formal models and extensions to support representations of this new computing paradigm has not been kept pace. Specifically, we find that current formal processing models are lacking in representation abilities for: (1) intelligence capabilities, (2) team-based problem-solving approaches, and (3) mobility. In this paper, we present an extension of π-calculus that addresses the first of these deficiencies, the representation of intelligence.