-
题名二值命题逻辑的无损求解
被引量：4
- 1
-
-
作者
唐益明
刘晓平
-
机构
合肥工业大学计算机与信息学院情感计算与先进智能机器安徽省重点实验室
合肥工业大学信息与通信工程博士后科研流动站
-
出处
《计算机学报》
EI
CSCD
北大核心
2013年第5期1097-1114,共18页
-
基金
国家"八六三"高技术研究发展计划项目基金(2012AA011103)
国家自然科学基金(61203077
+7 种基金
61105076
61070124
41076120
60890075)
中国博士后科学基金(2012M521218)
中央高校基本科研业务费专项资金(2012HGQC0011
2012HGCX0001
2012HGBZ0639)资助~~
-
文摘
针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题,从二值命题逻辑理论出发,研究面向冲突的无损求解(即初始解空间获取)问题.首先,提出简单合取式的扩充和Wh-析取范式等概念,在此基础上定义初始解空间,并通过提出的有效扩充概念得到初始解空间的简化表示——最简解空间,探讨了两类解空间的关系及各自的计算方法.其次,构造生成序列来辅助公式的析取化,从泛代数的角度定义了Wh-代数;提出了指数矩阵,并籍此给出了Wh-代数的等价表现形式,通过引入扩展指数矩阵构造出扩展Wh-代数.最后证明了扩展Wh-代数中的展开定理和逻辑简化定理,给出基于有效扩充的直接无损求解算法,并与提出的其他相关算法进行了对比,结果表明该算法较为理想.该研究对于协同问题求解等领域有着重要的推动作用.
-
关键词
协同计算
冲突
二值命题逻辑
无损求解
-
Keywords
collaboration computing
conflict
two-valued propositional logic
lossless solving
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
