论文部分内容阅读
在智慧城市发展中的驱动创新中，面临着诸多的不确定性信息，而这些大量的不确定信息处理是智慧城市发展中的一重要的中间环节。本文针对这些不确定信息处理，进一步深入研究了基于格值命题逻辑系统LP(X)的多元α-归结原理的基本理论，对基于LP(X)的多元α-归结原理的有效性进行了一定分析；这为智慧城市发展中的不确定性信息处理建立了理论基础。