论文部分内容阅读
针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题，从二值命题逻辑理论出发，研究面向冲突的无损求解（即初始解空间获取）问题．首先，提出简单合取式的扩充和Wh-析取范式等概念，在此基础上定义初始解空间，并通过提出的有效扩充概念得到初始解空间的简化表示——最简解空间，探讨了两类解空间的关系及各自的计算方法．其次，构造生成序列来辅助公式的析取化，从泛代数的角度定义了Wh-代数；提出了指数矩阵，并籍此给出了Wh-代数的等价表现形式，通过引入扩展指数矩阵构造出扩展Wh-代数．最后证明了扩展Wh-代数中的展