论文：智能主体的信念认知时态子结构逻辑模型.pdf

智能主体的信念认知时态子结构逻辑模型 摘 要:智能主体获取信念的途径主要有两种:一种为他省，通过外界交互， 从其他主体获取信息;另一种为自省，通过自己的历史数据库获取相关知识。对 于主体信念的描述及刻画，两种途径缺一不可，但当前的BDI 理论模型中较多 地为他省系统，没有做到两者相结合。其次，在当前的许多理论模型中，通常 使用的是二值逻辑、经典模态逻辑或其变形系统，使得相应的逻辑系统普遍存 在逻辑全知和粗精度刻画等问题。针对上述问题进行了探讨，采用了认知时态 子结构逻辑建模的方法，表达了智能主体获得“双省”信念的方式，针对其建 立了相应的逻辑系统BSoET。 关键词:智能主体;信念;自省;他省;认知时态子结构逻辑 Substructural logic of epistemic and temporality in belief of agent LIU Dong-ning?1，TANG Yong?2 (1.School of Computer， Guangdong University of Technology， Guangzhou 510006， China;2.School of Computer， South China Normal University， Gu