论文研究AUV心智逻辑.pdf

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