Skip to main content
Log in

A formal framework of multi-agent systems with requirement/service cooperative style

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

Adopting three kinds of speech acts: request, promise, and inform, this paper analyses the interaction among aents 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 capturesdirect request/passive service mechanism,direct request/active service mechanism,indirect request/active service mechanism, and peerto-peer request/service mechanism. The spectrum shows a thread to improve traditional client/server computing.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Werner E. The Design of Multi-Agent Systems. Decentralized A.I.3, Werner E, Demazeau Y (eds.), Germany, 1991, North-Holland, 1992, pp.3–30.

  2. Genesereth M R, Singh N P, Syed M A. A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation. InWorkshop on Heterogeneous Cooperative Knowledge-Bases, FGCS’94, 1994, pp.125–140.

  3. Adler R M. Distributed Coordination Models for Client/Server Computing,Computer, 1995, 28(4): 14–22.

    Article  Google Scholar 

  4. Lewis T G. Where Is Client/Server software Headed?Computer, 1995, 28(4): 41–49.

    Article  Google Scholar 

  5. Wang H M, Wang P, Gao H K. Decentralized Computing Environment for Agent-Oriented Programming. In13th World Computer Congress 94, Vol.1, Pehrson B, Simon I (eds.), Elsevier Science B.V. (North-Holland). 1994, pp.169–174.

  6. Singh M P. A Semantics for Speech Acts.Annals of Mathematics and Artificial Intelligence, 1993, 8: 47–71.

    Article  MATH  MathSciNet  Google Scholar 

  7. He Ziran. Introduction to Pragmatic (in Chinese). Human Education Press, 1988.

  8. Chang M K, Woo C C. SANP: A Communication Level Protocol for Negotiations. Decentralized A.I.3., Werner E, Demazeau Y (eds.), Germany, 1991, North-Holland, 1992, pp.31–54.

  9. Shoham Y. Agent-Oriented Programming.Artificial Intelligence, 1993, 60: Elsevier. 51–92.

    Article  MathSciNet  Google Scholar 

  10. McCarthy J. Elephant 2000: A Programming Language Based on Speech Acts. Unpublished Manuscript, 1990.

  11. Wang Huaimin, Liu Fengqi. Pragmatic of Programming Language (in Chinese). Fundamental Research of Intelligence Computing ’94, Li Weiet al. (eds.), 1994, pp.467–473.

Download references

Author information

Authors and Affiliations

Authors

Additional information

This research was supported in part by the National High-Tech Programme under Grant Nos. 863-306-61-04 and 863-306-02-01-04, and the National Natural Science Foundation of China under Grant No. 69503002.

WANG Huaimin was born in 1962. He received his M.S degree in computer science and Ph.D. degree in computer software and theory from National University of Defense Technology in 1988 and 1992, respectively. Since 1992, he has been working in Computer Department, National University of Defense Technology, where he is now a Professor. In 1998 he became a member of the Expert Committee of National 863 Programme, on intelligent computer. Since 1990, he has been in charge of or taken part in more than 10 research subjects, such as the National 863 Hi-Tech Programme, National Defense Research, the National Natural Science Foundation and National Defense Research Foundation, etc., and has acquired outstanding achievements on istributed computing environment and distributed AI. Up to now he has published more than 50 papers in the areas of distributed computing, distributed AI, agent-oriented and distributed object computing, methodology of software development.

WU Quanyuan, Professor, was born in 1942. Professor Wu has been engaged in the teaching and research work of computer for a long time. From the early 70’s to 1983, he successively participated in the designing and building of several high-performance computer systems. From 1984, his research has focused on artificial intelligence and intelligent computing. He has obtained over 10 national first-class or second-class awards for progresses in science & technology and first-class (once) & second-class (twice) awards for national prize of teaching. He also teaches courses in expert system and system modeling for graduated students. Professor Wu has published 2 books and over 80 papers, trained about 80 Ph.D. students and M.S. students. His main interests are distributed computing, expert system and intelligent software.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, H., Wu, Q. A formal framework of multi-agent systems with requirement/service cooperative style. J. Comput. Sci. & Technol. 15, 106–115 (2000). https://doi.org/10.1007/BF02948794

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02948794

Keywords

Navigation