基于行动逻辑的智能主体行为表征研究-厦门大学学术典藏库.PDF

( ) 20 13 27 1 重庆理工大学学报 社会科学 年第 卷第 期 逻辑与科学方法论 Journal of Chongqing University of Technology (Social Science)Vol． 27 No． 1 2013 doi :10． 3969 /j ． issn． 1674－8425 (s)． 2013． 01． 003 基于行动逻辑的智能主体行为表征研究 1，2 3 ，4 ， 张晓君 郝一江 (1． ， 361005 ;2 ． ， 361005 ; 厦门大学哲学系 福建厦门 福建省仿脑智能系统重点实验室 福建厦门 3． ， 430074 ;4 ． ， 100732) 华中科技大学哲学系 武汉 中国社会科学院哲学所 北京 : ， 。 摘要 在人工智能领域 行为是指智能主体通过感知信息控制执行过程的算法 智能主体典型 BDI ( 、 ) 。BDI 的行为模型就是 信念 愿望和意图 逻辑框架 主体结构在一些最为重要的多主体系 。 。 BDI 统中得到了广泛应用 动态认知行动逻辑也可以对智能主体的行为进行表征 将 逻辑与 ， 动态认知行动逻辑融合起来 发展出能够更为有效地对主体不确定性行为进行表示和推理的逻 。 ， 辑是完全可能的 这些研究有助于智能主体不确定性行为的表示和推理 并为分布式人工智能 提供形式支持。 : ; ; ;BDI ; 关键词 行为 智能主体 行动逻辑 逻辑 动态认知行动逻辑 中图分类号:B81 文献标识码:A 文章编号:1674 － 8425 (20 13)0 1 － 00 13 － 07 “ (action)” 、 、 息， 。 行动或行为 是哲学 心理学 语言 最后向行为规划层发出行为指令 一个好的 ［4］33 、 、 、 、 。 学 法学 经济学 历史 文学等人文科学和社会科 行为决策逻辑是提高系统自主性的必然要求 ， ［1］1 。 BDI ( 学 以及计算机科学和人工智能的核心概念 本文研究的动态认知行动逻辑和 逻辑 即信 : (bel