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

Substructural logic of epistemic and temporality in belief of agent

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

There are two kinds of approach to get belief as an agent.One is extrospectiveness,which gets information from other body through outside interaction.The other is introspectiveness,which gets information from own history database.The two ways are indispensable to describe belief of agent.However,nowadays BDI logics mostly use extrospectiveness,not combination of extrospectiveness and introspectiveness.Also,most BDI logics are usually based two-value logic,classical modal logic or its transmutation,which makes many logic systems have problems such as logic omniscience and coarse depiction.For these problems,this paper made some research and put forward a substructural logic of epistemic and temporality（BSoET）focusing as belief of agent.