独立于设计者的行动推理

摘要：

高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演算行动理论被适当扩充,感知器的表示被添加到行动理论的形式语言中,并把agent新知识的产生建立在感知器的应用结果之上.扩充后的系统能够形式化地表示机器人对环境的感知并把感知结果转换为知识,还能进行独立于设计者的行动推理,同时让感知行动的"黑箱"过程清晰化.

关键词：情境演算、行动推理、感知行动、知道逻辑、知识流

所属期刊栏目：46

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金项目60573010,60663001;中国科学院计算机科学国家重点实验室开放课题基金项目SYSKF0904;广西自然科学基金项目桂科自0991100

在线出版日期：2010-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1917-1924