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.