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

信任本体的形式化语义研究 On the Formal Semantics for the Trust Ontology 王海艳 WANG Haiyan1 1 2 first-author 谢武锋 XIE Wufeng1 1 南京邮电大学计算机学院 南京邮电大学计算机学院 College of Computer Science,Nanjing University of Posts &Telecommunications College of Computer Science,Nanjing University of Posts &Telecommunications 东南大学计算机科学与工程学院 东南大学计算机科学与工程学院 School of Computer Science and Engineering,Southeast University School of Computer Science and Engineering,Southeast University 针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形式化动态信任本体的概念,结合本体在语义层次的形式化描述方法,对实体信任、行为信任和区域信任进行本体化,并对三种信任本体进行形式化语义演绎和推理.给出了信任相关属性的形式化理论分析,并通过典型的激发场景实例,有效地验证了信任本体化理论. 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. 信任本体 形式化语义 情景演算 trust ontology formal semantics situation calculus 10.14188/j.1671-8836.2011.05.001 TP391.1 国家重点基础研究发展计划（973）项目（2010CB328104）;高等学校博士学科点专项科研基金项目（200802860031）;江苏省自然科学基金重点项目（BK2008030）;江苏省“网络与信息安全”重点实验室基金项目（BM2003201）;“计算机网络和信息集成”教育部重点实验室基金项目（93K-9）;江苏省博士后科研资助计划项目（H1002005C） 2011-05-01 2021-04-01 5 57