陈忠泽, 林良明, 颜国正. 基于MAS（Multi-Agent System)的多机器人系统:协作多机器人学发展的一个重要方向[J]. 机器人, 2001, 23(4): 368-373..
CHEN Zhong-ze, LIN Liang-ming, YAN Guo-zheng. AN APPROACH TO SCIENTIFIC COOPERATIVE ROBOTICS: THROUGH MAS (MULTI-AGENT SYSTEM). ROBOT, 2001, 23(4): 368-373..
Abstract：The application mode of robots is changing from cell to system one, which is of the need of practice as well as the evolution trend of robotics. And correlative technologies such as computer networks offer a strong support to the realization of multi-robot system. Cooperative robotics has already become a most important field in robotics. Thereinto, theory concerning multi-agent system (MAS), which is a branch of distributed artificial intelligence (DAI), has attracted the attention of most researchers who are angaged in cooperative robotics. And in this paper the authors pointed out based on the comparison of the two domains that it is an approach to scientific cooperative robotics for us to use the theories and methodologies in MAS for reference.
[1] UNY CAO Y. Cooperative Mobile Robotics: Antecedents and Directions. Aut onomous Robotics, 4/1997 [2] Parker. Heterogeneous Multi-Robot Cooperation. www.ai.mit.edu/publications /pubsDb/search [3] Kufer. Software Agents will Make Life Easy. Fortune, Jan. 1994,24: 72-73 [4] Maes. Agents That Reduce Work and Information Overload. Communication of the ACM,1994: 37-40 [5] Finder N. V. Etc.Multi-agent Coordination and Cooperation in a Distributed Dynamic Environment with Limited Resources. AI in Engineering, 1995,9: 229-238 [6] Wang H. Etc. Intelligent Agents in the Nuclear Industry. IEEE Computer, 1997: 28-34 [7] Giarratano J C, etc. Expert System: Principles and Programming. Thompson Inte rnational [8] Bose R. Intelligent Agents Framework for Developing Knowledge-based Decision Support Systems for Collaborative Organizational Process. Expert Systems with Ap plication, 11/1996 [9] Clements P E Etc. A Framework for the Realization of Cooperative Systems. SI GOIS Bulletin 15/1995 [10] Wooldridge M, Jennings N R.Intelligent Agents: Theory and Practice. The Know ledge Engineering Review, 1995,10(2):115-152 [11] 李斌等. 基于行动理论的智能体模型. 南京航空航天大学学报,12/1999 [12] Levesque H J etc. Foundations for Situation Calculus. Link Electronic A rticles in Computer and Information Science, 1998,3(18) [13] Elgot-Drapkin Jetc. Reasoning Situated in Time 1: Basic Concepts. Artificia l Intelligence, 1990,2(1) [14] Cristiano Castelfranchi. Modeling Social Action for AI Agents. Artificia l Intelligence, 1998,(103): 157-182 [15] Dunin-Keplicz Betc. Compositional Formal Specification of Multi-agent Systems 11(6) [16] 陈进才等.多Agent系统的形式化开放混合体系结构模型研究.西安交通大学学报,2/2000 [17] 陈仁际等.分布式对象技术在多机器人系统中的应用",机器人,1998,11(6) [18] Bose R. CMS: An Intelligent Knowledge-based Tool for Organizational Proce dure Modeling and Execution. Expert Systems with Application, 1995,8 [19] Brooks R. A Robust Layered for a Mobile Robot. IEEE Journal of Robotics and Automation, 1986,V.RA-2(1) [20] Arret G. Formal Method Applied to Floating-point Number System. IEEE Transac tion on Soft engineering, 15.5(May) [21] Edmund M Clarke. Formal Methods: State of the Art and It's Directions. http://www.comlab.ox.ac.uk [22] Archinoff, G. Etc. Verification of the Shutdown System Software at the Da rlington Nuclear Generating System.In Intl. Conf. on Control and Instrumentatio n in Nuclear Installations, Glasgow, Scotland, May 1990 [23] Bjerner N Etc. STEP: Deductive-algorithm in Verification of Reactive and Real-time systems. In Proc. of the 8th International Conference on Computer-A ided Verification, Number 1102 in Lecture Notes in Computer Science, July 1996, 415-418
