AUV心智逻辑

作者：刘海波; 顾国昌; 沈晶; 孔晓东

来源：计算机应用研究, 2006, (10): 186-188.

• 自治水下机器人
• 智能体
• BDI
• 心智逻辑 Autonomous Underwater Vehicle(AUV)
• Agent
• Belief-Desire-Intention(BDI)
• Mental Logic

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

• 出版日期2006
• 单位哈尔滨工程大学