Intention is an important cognitive concept to specify multi-agent system. An intention theory is presented in this paper to support the research on the theory of multi-agent system computing. Based on the action modeling theory of multi-agent system computing, the new formal semantics of the intention is defined and some important properties are obtained.