摘要
本文走从语言文字描述到符号化再到形式化的崭新道路来探索智能机器人系统的建模问题。首先，为智能机器人系统建立了更全面、确切的语言文字描述，然后，通过直现地符号化，为智能机器人系统提出并建造成了一种新型的结构模型，命名为环递阶模型，最后，利用形式语言理论，将环递阶模型形式化，从而，首次将智能机器人系统整体形式化地建模成了一种上下文无关文法，为智能机器人系统的建模问题开发成了一种解析的框架。形成了一种新的理论，命名为环递阶模型理论。
completely new road has been taken to explore modeling of intelligent robot systems from lit-eral and linguistical description to symbolization and further to formalization. Firstly, more complete and ex-act literal and linguistical description has been established for intelligent robot systems. Then directlythrough symbolizing it in a visualized way, a new kind of structural model, named loop hierarchy model hasbeen proposed and built for intelligent robot systems. Finally, by the utilization of formal language theory,loop hierarchy model has been formalized.Therefore, for the first time, a whole intelligent robot system hasbeen modeled as a kind of context-free grammars in a formalized way and an analytical framework has beendeveloped for modeling of intelligent robot systems. As a result,a new theory,named loop hierarchy modelthoery, has been formed.
出处
《机器人》
EI
CSCD
北大核心
1994年第3期150-159,共10页
Robot
基金
国家863计划
关键词
智能机器人
环递阶模型
建模
Intelligent robot,systems, formal language, hierarchical systems,structural model, formal-ized modeling
