A Formal Framework of Multi-Agent Systems with Requirement/Service Cooperative Style
王怀民, 吴泉源 · 2000
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(MASr-s).The paper gives the objective model the theoretic satisfaction conditions of three kinds of speech acts in MASr-s.The formal definition of MASr-s has been presented.To evaluate concrete implementation architecture and mechanism of the variant MASr-s.including client/server computing architecture and mechanism,a spectrum of MASr-s has been proposed,which captures direct request/passive service mechanism,direct request /active service mechanism,indirect request/active service mechanism,and peer to-peer request /service mechanism.The Spectrum shows a thread to improve traditional client/server computing.