叶文, 杨叔子. 基于过程代数的智能机器人系统建模[J]. 机器人, 1998, 20(1): 9-14,19..
YE Wen, YANG Shuzi. PROCESS ALGEBRA BASED INTELLIGENT ROBOT SYSTEM MODELLING. ROBOT, 1998, 20(1): 9-14,19..
Abstract：Process algebra ACPR for intelligent robot system modelling is proposed in this paper.ACPR's syntax and semantics are given,the research on properties of process combining operators and process evolution are conducted.Open IRS problem-solving is discussed.An example of coordination-level modelling of moving IRS is given.
1 Wang F Y,Saridis G N.Task Translation and Integrations pecification in Intelligent Machine.IEE E Trans Rob&Auto,1993,9(3) 2 Lyons D M.Exploiting Patterns of Interaction to Achieve Reactive Behaviour.Artif Intell,1995,73(1) 3 Fikes R E,Nills on N F.S TRIPS:A New Approach to Application of Theorem Proving to Problemsolving.Artif Intell,1971,12(2) 4 田华,席裕庚,张仲俊.IRS建模新理论——环递阶模型.机器人,1994,16(3) 5 王世强.模型论基础.科学出版社,1987 6 Cleaveland R.Tableau-based Model-checking in the Propositional Mu-calculus.Acta Inform,1990,27(2) 7 叶文.智能机器人系统建模及模型分析方法研究.华中理工大学博士后研究工作报告,1996 8 Li Wei.An Open Logic System.Science in China(Series A),1993,36(3)
