10.3969/j.issn.1001-3695.2006.10.064
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