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

On the Formal Semantics for the Trust Ontology

作　　者：王海艳[1,2] 谢武锋[1] 

机构地区：[1]南京邮电大学计算机学院,江苏南京210003 [2]东南大学计算机科学与工程学院,江苏南京210096

出　　处：《武汉大学学报（理学版）》2011年第5期369-374,共6页Journal of Wuhan University:Natural Science Edition

基　　金：国家重点基础研究发展计划(973)项目(2010CB328104);高等学校博士学科点专项科研基金项目(200802860031);江苏省自然科学基金重点项目(BK2008030);江苏省"网络与信息安全"重点实验室基金项目(BM2003201);"计算机网络和信息集成"教育部重点实验室基金项目(93K-9);江苏省博士后科研资助计划项目(H1002005C)

摘　　要：针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形式化动态信任本体的概念,结合本体在语义层次的形式化描述方法,对实体信任、行为信任和区域信任进行本体化,并对三种信任本体进行形式化语义演绎和推理.给出了信任相关属性的形式化理论分析,并通过典型的激发场景实例,有效地验证了信任本体化理论.To address the problem that current trust models lack of uniform and formal description and definition on trust,trust semantics reasoning and abstract trust model,the concept of Formal Dynamic Trust Model is presented in this paper.With TOVE,Trust Ontology（TO） is divided into Entity Trust,Behavior Trust and Area Trust.Three TOs＇axioms and theorems are proposed,followed with a formal theoretical analysis on Trust properties.Representative motivating scenarios validate the formal theoretical analysis on the Trust Ontology.

关 键 词：信任本体 形式化语义 情景演算 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]