基于可能世界的网构软件模型及可信性研究

• 作者: 刘超 王文杰
• 来源期刊: 计算机应用研究
• 关键词: 网构软件 可能世界 可信建模 影子实体 信任格 资源分配公平存在性定理
• 年，卷（期）: 2010,（12）
• 页码范围: 4604-4607,4611
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.12.061

摘要

为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引入了可能世界理论,给出了一种可能世界的语义学解释,并在可能世界的基础之上构建了软件实体交互模型.然后,结合形式概念分析技术,提出了信任格的概念.最后,讨论了信任模型的几点应用,证明了资源分配公平存在性定理,在资源分配问题上为阿罗不可能定理提供了新的解决方案,进而表明主观逻辑冲突问题是可解的.