一个刻画智能Agent理性信念的认知系统  

A Cognitive System about Intelligent Agent with Rational Belief

作　　者：高金胜[1] 周昌乐[2,3] 

机构地区：[1]厦门大学人文学院哲学系,福建厦门361005 [2]厦门大学信息科学与技术学院智能科学与技术系,福建厦门361005 [3]福建省仿脑智能系统重点实验室,福建厦门361005

出　　处：《微电子学与计算机》2016年第12期139-146,共8页Microelectronics & Computer

基　　金：国家社科基金重大项目(11&ZD088);国家自然科学基金项目(61273338)

摘　　要：在信念的类别上进行细化研究,研究智能Agent在持有理性信念下的认知系统及其所具有的认知性质.在理性信念的语义分析的基础上,我们建立了一个有关智能Agent具有理性信念的推理系统,并证明了该推理系统的可靠性及完全性.通过该认知系统,找到理性信念的形式化方法,并且得出了理性信念既是智能Agent获取知识的必要条件.该条件也是以往对知识定义所疏忽的限定条件,同时还是智能Agent与生物认知主体在认知推理上相异的内因之一.This paper mainly studies on the refining category of belief, and the cognitive properties about intelligent agent with rational belief. Based on the semantic analysis of the rational belief, we establish a cognitive inference system. After the proof of its soundness and completeness, we find rational belief is a necessary condition for intelligent agent to get knowledge, and also a limiting condition for knowledge definition. This condition is also a limiting condition for the definition of knowledge which was neglected in previous. What is more, it is one reason for the different between intelligent agent and biological cognitive agent in cognitive inference.

关 键 词：理性信念 主观概率 认知推理 人工智能 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]