信任本体的形式化语义研究.pdfVIP

第57卷第5期 武汉大学学报 理学版 V01．57No．5 2011年10月 J．WuhanUniv． Nat．Sci．Ed． 0ct．2011。369～374 文章编号：1671—8836 2011 05—0369—06 信任本体的形式化语义研究 王海艳1’2，谢武锋1 摘要：针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的 形式化抽象模型的问题，本文提出形式化动态信任本体的概念，结合本体在语义层次的形式化描述方法，对实体信 任、行为信任和区域信任进行本体化，并对三种信任本体进行形式化语义演绎和推理．给出了信任相关属性的形式 化理论分析，并通过典型的激发场景实例，有效地验证了信任本体化理论． 关键词：信任本体；形式化语义；情景演算 393 中图分类号：TP 文献标识码：A 描述方法，给出动态信任模型的形式化语义描述． 0