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

《智能主体的信念认知时态子结构逻辑模型》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

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

2、SoETo关键词：智能主体;信念：自省；他省；认知时态子结构遷SubstructurallogicofepistemicandtemporalityinbeliefofagentLIUDong-ning?l,TANGYong?2(ofComputer,GuangdongUniversityofTechnology，Guangzhou510006,China;ofComputer,SouthChinaNormalUniversity，Guangzhou510631,China)fasanagent.Oneisextrospecti

3、veness,whichgetsinformationfromotherbodythroughoutsideinteraction.Theotherisintrospectiveness，whichgetsinformationfromownhistorydatabase.Thetwowaysareindispensabletodescribebeliefofagent.However,nowadaysBDIlogicsmostlyuseextrospectiveness,noteombinationofextrospectiv

4、enessandintrospectiveness.Also,mostBDllogicsareusuallybasedtwo-valuelogic,classicalmodallogicoritstransmutation,whichmakesmanylogiesystemshaveproblemssuchaslogicomniscienceandcoarsetheseproblems,thispapermadesomeresearchandputforwardasubstructurallogicofepistemicandt

5、emporality(BSoET)focusingasbeliefofagent.Keywords:agent;belief;introspectiveness;extrospectiveness;substructurallogicofepistemicandtemporality0引言为适应环境变化和协作求解，智能主体(agent)必须利用知识修改内部状态，即心智状态(mentalstate)。主体的心智状态为主体如何行动提供了一种解释，也就是说主体的行动是由主体的心智状态驱动的，如认知、情感、意向等。逻辑是描述主体心智状态

6、的重要工具［1］。1990年，Moore［2］使用形式逻辑对主体进行了建模，并主要研宄了主体拥有的知识与实现的动作之间的关系；随后Cohen等人［3］系统地研究了信念、目标、持续目标、意图和理性的逻辑表达和演算问题，他们的工作基于线性时态逻辑，在语义上则以Kripke可能世界语义学为基础，并给出了BDI形式模型其后，Rao等人［4］提出了理想agent的BDI模型，使用了三个基本的模态算符：信念(belief)、愿望(desire)和意图(intention)建立了主体的BDI模型;Jiao等人［5］针对主体是在进程级运行的程序

7、，运用it演算描述了主体的理性和行为意图，利用:n演算这种刻画通信系统的进程演算表示出主体间的交互；胡山立等人［6,7］在真假子集语义基础上通过对模型的代数结构施加一定的约束，开发了双子集语义改进模型，避免了基于正规模态逻辑表示的逻辑全知问题以及由此带来的副作用等问题。此外，Konolige等人［813］也做了相关值得肯定的工作，遍及BDI理论研究与应用的多个领域职称论文。尽管BDI或类BDI模型已成为研究智能主体理论模型的主要工具，但这些模型仍普遍存在下述的一些问题：a)主体理论模型中普遍存在遷辑全知(logicomnisci

8、e心智状态为主体如何行动提供了一种解释，也就是说主体的行动是由主体的心智状态驱动的，如认知、情感、意向等。逻辑是描述主体心智状态的重要工具［1］。1990年，Moore［2］使用形式逻辑对主体进行了建模，并主要研宄了主体拥有的知识与实现的动作之间的关系；随后Co