浅谈智能主体信念认知时态子结构逻辑模型.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 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. 　　Key words：agent; belief; introspectiveness; extrospectiveness; substructural logic of epistemic and temporality 　　0、引言 　　为适应环境变化和协作求解，智能主体(agent)必须利用知识修改内部状态，即心智状态(mental state)。主体的心智状态为主体如何行动提供了一种解释，也就是说主体的行动是由主体的心智状态驱动的，如认知、情感、意向等。逻辑是描述主体心智状态的重要工具[1]。1990年，Moore[2]使用形式逻辑对主体进行了建模，并主要研究了主体拥有的知识与实现的动作之间的关系;随后Cohen等人[3]系统地研究了信念、目标、持续目标、意图和理性的逻辑表达和演算问题，他们的工作基于线性时态逻辑，在语义上则以Kripke可能世界语义学为基础，并给出了BDI形式模型;其后，Rao等人[4]提出了理想agent的BDI模型，使用了三个基本的模态算符：信念(belief)、愿望(desire)和意图(intention)建立了主体的BDI模型;Jiao等人[5]针对主体是在进程级运行的程序，运用π演算描述了主体的理性和行为意图，利用π演算这种刻画通信系统的进程演算表示出主体间的交互;胡山立等人[6，7]在真假子集语义基础上通过对模型的代数结构施加一定的约束，开发了双子集语义改进模型，避免了基于正规模态逻辑表示的逻辑全知问题以及由此带来的副作用等问题。此外，Konolige等人