| 信任本体的形式化语义研究 |
| |
| 引用本文： | 王海艳,谢武锋. 信任本体的形式化语义研究[J]. 武汉大学学报(理学版), 2011, 57(5): 369-374 |
| |
| 作者姓名： | 王海艳 谢武锋 |
| |
| 作者单位： | 1. 南京邮电大学计算机学院,江苏南京210003／东南大学计算机科学与工程学院,江苏南京210096
2. 南京邮电大学计算机学院,江苏南京,210003 |
| |
| 基金项目： | 国家重点基础研究发展计划(973)项目(2010CB328104); 高等学校博士学科点专项科研基金项目(200802860031); 江苏省自然科学基金重点项目(BK2008030); 江苏省“网络与信息安全”重点实验室基金项目(BM2003201); “计算机网络和信息集成”教育部重点实验室基金项目(93K-9); 江苏省博士后科研资助计划项目(H1002005C) |
| |
| 摘 要： | 针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形式化动态信任本体的概念,结合本体在语义层次的形式化描述方法,对实体信任、行为信任和区域信任进行本体化,并对三种信任本体进行形式化语义演绎和推理.给出了信任相关属性的形式化理论分析,并通过典型的激发场景实例,有效地验证了信任本体化理论.
|
| 关 键 词： | 信任本体 形式化语义 情景演算 |
On the Formal Semantics for the Trust Ontology |
| |
| WANG Haiyan,,XIE Wufeng. On the Formal Semantics for the Trust Ontology[J]. JOurnal of Wuhan University:Natural Science Edition, 2011, 57(5): 369-374 |
| |
| Authors: | WANG Haiyan XIE Wufeng |
| |
| Affiliation: | WANG Haiyan1,2,XIE Wufeng1(1.College of Computer Science,Nanjing University of Posts &Telecommunications,Nanjing 210003,Jiangsu,China,2.School of Computer Science and Engineering,Southeast University,Nanjing 210096,China) |
| |
| Abstract: | |
| |
| Keywords: | trust ontology formal semantics situation calculus |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
