二值命题逻辑的无损求解

• 作者: 刘晓平 唐益明
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 协同计算 冲突 二值命题逻辑 无损求解
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 协同工作
• 页码范围: 1097-1114
• 页数: 18页
• 分类号: TP18
• 字数: 25934字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.01097

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晓平	合肥工业大学计算机与信息学院情感计算与先进智能机器安徽省重点实验室	137	899	16.0	22.0