基于归结反演和中间—结局分析的机器人问题求解系统(RPRAMS)

RPRAMS系统是一个有效的机器人规划生成系统,该系统集问题求解的三大技术于一体,建立了搜索、演绎、归约相结合的有效机制;采用排序技术和回归原理解决目标相互影响问题;系统具有灵活的人机接口和机器人世界的动态显示,采用Common Lisp语言编写,可适用于仓库机器人工作环境。同时,本文对AI的基本算法——中间结局分析法作了较深入的探讨,证明了用归结反演树产生差别的有效性。

Robot Problem-Solver System Based on Resolution Refutation and Means-Ends Analysis

RPRAMS is an effective robot plan-generating system. The system establishes a combined mechanism of search, reduction and deduction which can be used in a problem-solver. It adopts the technique of sorting and the principle of regression to solve problems in which objects affect each other, and has an active interface accompanied by a dynamic display of robot world. The system is written in common lisp language, and is adaptable to the environment of a robot carrying goods in a storehouse. This paper also makes a relatively profound inquiry into the basic algorithm of AI, the means ends analysis, and seeks to prove the effectiveness of difference produced by a resolution refutation tree.