A Formal Framework of Multi-Agent Systems with Requirement/Service Cooperative Style

Adopting three kinds of speech acts: request, promise, and inform, this paper analyses the interaction among agents in a kind of multi-agent systems with requirements /services cooperation style (MAS_(r-s)). The paper gives the objective model the theoretic satisfaction conditions of three kinds of speech acts in MAS_(r-s)The formal definition of MAS(r-s) has been presented. To evaluate concrete implementation architecture and mechanism of the variant MAS_(r-s), including client/server computing architect…