随着网络技术的发展，软件运行平台逐步由传统的单机、封闭、静态的运行环境转变为开放、动态、多变的网络运行环境。由此产生了一个新的研究领域：网构软件。与传统软件相比，主体化与动态演化是网构软件的重要特点，服务创新是网构软件的灵魂，模拟人类认识世界的思维方式则是网构软件的本质。近现代科学技术理论改变了我们许多传统的认识，这些理论包括但不限于：微观上的测不准原理，宏观上的相对论理论，数学上的非欧几何，及逻辑上的不完全性定理等。这些理论使得我们有理由相信：自然界是不一致的。　　 为了解释这种不一致现象，首先，文章从认识论入手，给出了影子实体的概念，将逻辑冲突归结为实体内涵的不一致所致，为了解决影子实体的自身安全问题，文章引入了可能世界理论，给出了一种可能世界的语义学解释，并在可能世界的基础之上构建了软件实体交互模型。然后，结合形式概念分析技术，给出了信任格的概念。并讨论了信任模型的几点应用，证明了资源分配公平存在性定理，在资源分配问题上为阿罗不可能定理提供了新的解决方案，进而表明主观逻辑冲突问题是可解的。　　 在基于可能世界的网构软件模型上，文章设计了一种基于概念分析的自动推理系统。首先，通过对三段论的分析得到了自动推理的一般原则，并运用这些原则解释了三段论中正确的24式。然后，通过对形式概念的讨论得到了概念编码的方法，并给出了概念码的三值运算规则。最后，通过两个具体例子的应用分析，给出了使用该编码进行自动推理的一般步骤，构建了概念格分析求解系统。