等级BDI逻辑:关于行为表征的柔性逻辑  

作　　者：张晓君[1] 

机构地区：[1]厦门大学哲学系、福建省仿脑智能系统重点实验室

出　　处：《哲学动态》2013年第1期102-107,共6页Philosophical Trends

基　　金：国家社会科学基金重点项目“现代逻辑视野的认知研究”(11AZD057);国家哲学社会科学基金项目“基于逻辑视域的认知研究”(11BZX062)的资助

摘　　要：“行动”或“行为（action）”是哲学、心理学、历史、法律、经济、军事、计算机科学和人工智能等诸多学科研究的核心概念，这是因为行动在这些领域中无处不在。计算机通过执行以某种程序设计语言编写的程序语句来完成行动，并据此改变计算机的内部世界，然后通过与外部世界的接口来改变外部世界。一个程序的执行和调用本质上就是一个行动。对于具有自我意识的机器人而言：行动或行为就是通过感知信息控制执行过程的算法（algorithm）。对机器人的拟人行为的研究是人工智能的高难度课题之一。可见，对行为（尤其是不确定性行为）进行精细的逻辑刻画具有重要的理论价值和实践意义。

关 键 词：行为表征 逻辑 BDI 程序设计语言 计算机科学 外部世界 人工智能 多学科研究 

分 类 号：B81[哲学宗教—逻辑学]