AUV心智逻辑

摘要：

为了表示和处理AUV(Autonomous Underwater Vehicle,自治水下机器人)的心智状态及心智活动,对Rao和Georgeff的BDI逻辑进行了拓展,定义了一种含模态词(信念、目标、能力、意图、上一次、下一次、曾经、将会、总有、总会)的一阶模态时态混合逻辑系统--AML(AUV心智逻辑);基于Kripke可能世界语义模型给出了AML语义,构造了AML公理系统及演绎规则,并证明了AML的可靠性与完备性.AML为建造AUV心智模型提供了有力的表示和处理工具,弥补了Agent理论在机器人应用上的一道鸿沟.

关键词：自治水下机器人、智能体、BDI、心智逻辑

所属期刊栏目：23

分类号：TP24(自动化技术及设备)

资助基金：国家部委科研项目

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

页数：共3页

页码：186-188