基于内模型的知识遗忘.pdfVIP

福建农林大学学报(自然科学版) 第40卷第3期 of and Science Journal Agriculture University(NaturalEdition) 2011年5月 Fujian Forestry 基于内模型的知识遗忘 林运国，王秀丽，林耀海 (福建农林大学计算机与信息学院，福建福州350002) 摘要：在多Agent系统下，根据遗忘理论和经典知识逻辑建立基于内模型的知识逻辑，并且提出相应的互模拟关系。定义出 知识逻辑；讨论了知识遗忘的相关性质． 关键词：多Agent系统；知识逻辑；内模型；遗忘理论 中图分类号：TPl81 文献标识码：A 文章编号：1671．5470(2011)03-0318-04 basedoninternalmodel Knowledgeforgetting LIN Yao-hai Xiu-li，LIN Yun—guo，WANG of and and (College Information，FujianA画cultureForestryUniversity，Fuzhou，Fujian350002，China) Computer Abstract：Under basedoninternalmodelWaSbuilt to andehssi· multi-agentsystem，theknowledgelosic accordingforgettingtheory eal the ofbisimulationWaS WaSdefined．The knowledgelogic，andrelationship proposed，theknowledgelogic correspondingproper- tieswere8bodiscussed． Keywords：multi-agent logic；internal system；knowledgemodel；forgettingtheory 遗忘理论在计算机领域已经得到广泛研究¨。4】．文献[3]给出遗忘理论及其相应的计算属性；文献 [4—6]还给出在各种逻辑下遗忘理论的表述及其在认知逻辑特别是认知推理和信念修正中的应用．知识 遗忘是指当一个事实不正确或者对未来已不产生影响时将该事实从知识库中遗忘掉[7】．Agent是一个具 有知识、信念、义务、意图等思维属性的计算机系统．由于Agent所拥有能力的有限性，对Agent知识遗忘研 模拟关系定义遗忘理论，还讨论了相应的计算属性．在多Agent系统中，为了完成系统所设计的目标和任 探讨了在多Agent系统下单个Agent的知识遗忘． 1多Agent的知识逻辑 定义l给定有限Agent集A和有限命题变元集P，多Agent知识逻辑的公式哺1定义如下： A go：：=上Iflyll9lgo9lK,golEcgolccgoIDcgol 式中，GC_A；巧go表示AgentY知道知识go；KF(Kr9，V)表示AgentY从知识go中遗忘事实y，其中A— gentY是Agent集A中特定的一个成员，p可以不含有模态词也可以是其它Agent的知识． EG，c∈A)，p． 多Agent的kripke模型表示为M，{R，IJ 2遗忘理论 分别用真r和假F来替代．推广到公式集：设K表示一个公式集，K(p／r)、K(p／F)分别表示为Ago(p／T)