CAJ | 학술논문

针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题,从二值命题逻辑理论出发,研究面向冲突的无损求解(即初始解空间获取)问题.首先,提出简单合取式的扩充和Wh-析取范式等概念,在此基础上定义初始解空间,并通过提出的有效扩充概念得到初始解空间的简化表示——最简解空间,探讨了两类解空间的关系及各自的计算方法.其次,构造生成序列来辅助公式的析取化,从泛代数的角度定义了Wh-代数；提出了指数矩阵,并籍此给出了Wh-代数的等价表现形式,通过引入扩展指数矩阵构造出扩展Wh-代数.最后证明了扩展Wh-代数中的展开定理和逻辑简化定理,给出基于有效扩充的直接无损求解算法,并与提出的其他相关算法进行了对比,结果表明该算法较为理想.该研究对于协同问题求解等领域有着重要的推动作用.
침대협동문제구해、협동설계등제다영역중존재라집충돌적공성문제,종이치명제라집이론출발,연구면향충돌적무손구해(즉초시해공간획취)문제.수선,제출간단합취식적확충화Wh-석취범식등개념,재차기출상정의초시해공간,병통과제출적유효확충개념득도초시해공간적간화표시——최간해공간,탐토료량류해공간적관계급각자적계산방법.기차,구조생성서렬래보조공식적석취화,종범대수적각도정의료Wh-대수；제출료지수구진,병적차급출료Wh-대수적등개표현형식,통과인입확전지수구진구조출확전Wh-대수.최후증명료확전Wh-대수중적전개정리화라집간화정리,급출기우유효확충적직접무손구해산법,병여제출적기타상관산법진행료대비,결과표명해산법교위이상.해연구대우협동문제구해등영역유착중요적추동작용.