Formal model for SoftMan group using the π-calculus

Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology

Volumn 26, Issue 2, 2006, Pages 130-134

  Ma, Zhong Gui ^a   Ye, Bin ^a,b   Zeng, Guang Ping ^c   Tu, Xu Yan ^c  

^a BEIJING INSTITUTE OF TECHNOLOGY   (China)

^b TAIYUAN UNIVERSITY OF TECHNOLOGY   (China)

^c UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING   (China)

Author keywords

calculus; Distributed artificial intelligence; Formal model; Multi agent systems; SoftMan

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS;

DISTRIBUTED ARTIFICIAL INTELLIGENCE; FORMAL MODEL; INTERACTION MODELS; KNOWLEDGE BASE; LARGE SYSTEMS CYBERNETICS; ONTOLOGY DATABASE; SOFTMAN; TASK LIBRARY;

ARTIFICIAL INTELLIGENCE;

EID: 33646122193     PISSN: 10010645     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. Zeng Guangping, Tu Xuyan. SoftMan[C]//Progress of Artificial Intelligence in China. Beijing: Beijing University of Posts and Telecommunications Publishing House, 2003: 677-682. (in Chinese)
2. Esterline A C, Rorie T. Using the π-calculus to model multiagent systems[J]. Lecture Notes in Computer Science, 2001, 1871: 164-179.
3. Jiao Wenpin, Shi Zhongzhi. Modeling dynamic architectures for multi-agent systems[J]. Chinese Journal of Computers, 2000, 23(7): 732-737. (in Chinese)
4. Zhang Wei, Shi Chunyi. A formal semantics of agent organization structure design[J]. Journal of Software, 2002, 13(3): 447-456. (in Chinese)
5. Milner R, Parrow J, Walker D. A calculus of mobile processes (part II)[J]. Journal of Information and Computation, 1992, 100(1): 1-77.
6. Tu Xuyan. Large systems cybernetics[M]. Beijing: National Defence Industry Press, 1994. (in Chinese)
7. Ma Zhonggui, Ban Xiaojuan, Ye Bin, et al. The study on model and architecture of softman group based on intelligent autonomous decentralized systems[C]//Proceedings 2005 International Symposium on Autonomous Decentralized Systems. Los Alamitos: IEEE Society, 2005: 641-646.
8. Russell S, Norvig P. Artificial intelligence: a modern approach[M]. Beijing: Post and Telecommunications Press, 2002.