AUV心智逻辑

• 作者: 刘海波 孔晓东 沈晶 顾国昌
• 来源期刊: 计算机应用研究
• 关键词: 自治水下机器人 智能体 BDI 心智逻辑
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 开发应用
• 页码范围: 186-188
• 页数: 3页
• 分类号: TP24
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2006.10.064

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾国昌	哈尔滨工程大学计算机科学与技术学院	138	2134	24.0	41.0
2	刘海波	哈尔滨工程大学计算机科学与技术学院	78	683	14.0	23.0
3	沈晶	哈尔滨工程大学计算机科学与技术学院	55	417	12.0	17.0
4	孔晓东	哈尔滨工程大学计算机科学与技术学院	2	3	1.0	1.0