二值命题逻辑的无损求解研究

摘要：

　　针对协同问题求解、协同设计等诸多领域中存在冲突的共性问题，从二值命题逻辑理论出发，研究面向冲突的无损求解(即初始解空间获取)问题。首先，提出扩充和Wh-析取范式等概念，在此基础上定义初始解空间，并通过提出的有效扩充概念得到初始解空间的简化表示——最简解空间，探讨了两类解空间的关系及各自的计算方法。其次，构造生成序列来辅助公式的析取化，从泛代数的角度定义了Wh-代数；提出指数矩阵，并籍此给出Wh-代数的等价表现形式，通过引入扩展指数矩阵构造出扩展Wh-代数，最后证明了扩展Wh-代数中的展开定理和逻辑简化定理，给出基于有效扩充的直接无损求解算法，并与提出的其他相关算法进行了对比，结果表明该算法较为理想。该研究对于协同问题求解等领域有着重要的推动作用。

关键词： 协同计算 共性冲突 二值命题逻辑 无损求解算法

作者: 唐益明 刘晓平

作者单位: 合肥工业大学情感计算与先进智能机器安徽省重点实验室 合肥230009 合肥工业大学计算机与信息学院 合肥230009

会议类型: 国内会议

会议名称: 第8届全国计算机支持的协同工作学术会议(CCSCW-2012)暨全国第23届计算机技术与应用学术会议(CACIS-2012)

会议地点: 威海

会议语种:中文

页码: 94-111

在线出版日期: 2012-07-20（万方平台首次上网日期，不代表论文的发表时间）