文件名称：论文研究-AUV心智逻辑.pdf
文件大小：102KB
文件格式：PDF
更新时间：2022-08-11 12:58:34
自治水下机器人,智能体,BDI,心智逻辑
为了表示和处理AUV（Autonomous Underwater Vehicle，自治水下机器人）的心智状态及心智活动，对Rao和Georgeff的BDI逻辑进行了拓展，定义了一种含模态词（信念、目标、能力、意图、上一次、下一次、曾经、将会、总有、总会）的一阶模态时态混合逻辑系统——AML（AUV心智逻辑）；基于Kripke可能世界语义模型给出了AML语义，构造了AML公理系统及演绎规则，并证明了AML的可靠性与完备性。AML为建造AUV心智模型提供了有力的表示和处理工具，弥补了Agent理论在机器人应用