BDI (Belief, Desire, Intention) is a mature architecture for intelligent agents. In this paper, the BDI theory is applied to the design of multi robot systems. Firstly, the system model is described with formal logic model.