浅谈智能主体的信念认知时态子结构逻辑模型.docVIP

浅谈智能主体的信念认知时态子结构逻辑模型 摘 要：智能主体获取信念的途径主要有两种：一种为他省，通过外界交互，从其他主体获取信息;另一种为自省，通过自己的历史数据库获取相关知识。对于主体信念的描述及刻画，两种途径缺一不可，但当前的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， Guangzhou 510631， China) 　　Abstract：There are two kinds