基于可能世界的網構軟件模型及可信性研究

摘 要：為了解決網構軟件的應用建模中發生的主觀邏輯沖突問題，首先從認識論入手，提出了影子實體的概念，將邏輯沖突歸結為實體內涵的不一致所致；為了解決影子實體的自身安全問題，引入了可能世界理論，給出了一種可能世界的語義學解釋，并在可能世界的基礎之上構建了軟件實體交互模型。然后，結合形式概念分析技術，提出了信任格的概念。最后，討論了信任模型的幾點應用，證明了資源分配公平存在性定理，在資源分配問題上為阿羅不可能定理提供了新的解決方案，進而表明主觀邏輯沖突問題是可解的。關鍵詞：網構軟件；可能世界；可信建模；影子實體；信任格；資源分配公平存在性定理