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

智能主体获取信念的途径主要有两种：一种为他省，通过外界交互，从其他主体获取信息；另一种为自省，通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画，两种途径缺一不可，但当前的BDI理论模型中较多地为他省系统，没有做到两者相结合。其次，在当前的许多理论模型中，通常使用的是二值逻辑、经典模态逻辑或其变形系统，使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进行了相关研究，采用了认知时态子结构逻辑建模的方法，表达了智能主体获得“双省”信念的方式，针对其建立了相应的逻辑系统BSoET。