%0 Journal Article
%T Internetware model based on possible worlds and research of creditability<br>基于可能世界的网构软件模型及可信性研究*
%A 刘超
%A 王文杰
%J 计算机应用研究
%D 2010
%I 
%X 为了解决网构软件的应用建模中发生的主观逻辑冲突问题，首先从认识论入手，提出了影子实体的概念，将逻辑冲突归结为实体内涵的不一致所致；为了解决影子实体的自身安全问题，引入了可能世界理论，给出了一种可能世界的语义学解释，并在可能世界的基础之上构建了软件实体交互模型。然后，结合形式概念分析技术，提出了信任格的概念。最后，讨论了信任模型的几点应用，证明了资源分配公平存在性定理，在资源分配问题上为阿罗不可能定理提供了新的解决方案，进而表明主观逻辑冲突问题是可解的。
%K 网构软件
%K 可能世界
%K 可信建模
%K 影子实体
%K 信任格
%K 资源分配公平存在性定理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=CA07EC0D0011FE3F20FB440D913F6BA6&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=59906B3B2830C2C5&sid=050D4EFEF51DFF62&eid=90FADA053B77DB1E&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=16