文档介绍：第 27 卷第 12 .12
2010 年 12 月 Vol .2010No
Application Research puters Dec
基于可能世界的网构软件模型及可信性研究倡
刘超, 王文杰
(中国科学院研究生院(本部), 北京 100049)
摘要: 为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概
念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引入了可能世界理论,给出
了一种可能世界的语义学解释,并在可能世界的基础之上构建了软件实体交互模型。然后,结合形式概念分析
技术,提出了信任格的概念。最后,讨论了信任模型的几点应用,证明了资源分配公平存在性定理,在资源分配
问题上为阿罗不可能定理提供了新的解决方案,进而表明主观逻辑冲突问题是可解的。
关键词: 网构软件; 可能世界; 可信建模; 影子实体; 信任格; 资源分配公平存在性定理
中图分类号: 311 文献标志码: 文章编号: 1001唱3695(2010)12唱4604唱04
TP A
: /. .
doi j issn
ware model based on possible worlds and research of creditability
, 唱
LIU Chao WANG Wen jie
(Graduate University of Chinese Academy of Sciences, Beijing 100049, China)
Abstract: , , 唱
To e the problem, of logistic conflict in the application modeling of ware’ first. of all the paper pre唱
sented a concept of shadow’ entities, and attributed the conflict to the difference, of entity s connotation To deal with, the prob
lems of shadow entities security .introduced, the possible worlds theory and based on the, theory of possible worlds built an.
interactive, model for ware Then following the theory of formal concept analysis proposed a concept’ of trust lattice唱
Finally. discussed some application under the, subjective trust model and proved’ the fair resource Allocation s possible theo
rem For the problem of resource