微电子学与计算机   2016 年 12 期

在信念的类别上进行细化研究,研究智能Agent在持有理性信念下的认知系统及其所具有的认知性质.在理性信念的语义分析的基础上,我们建立了一个有关智能Agent具有理性信念的推理系统,并证明了该推理系统的可靠性及完全性.通过该认知系统,找到理性信念的形式化方法,并且得出了理性信念既是智能Agent获取知识的必要条件.该条件也是以往对知识定义所疏忽的限定条件,同时还是智能Agent与生物认知主体在认知推理上相异的内因之一.