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

二值命题逻辑的无损求解研究 唐益明1 刘晓平2 1合肥工业大学情感计算与先进智能机器安徽省重点实验室 合肥230009 2合肥工业大学计算机与信息学院 合肥230009 摘要：针对协同问题求解、协同设计等诸多领域中存在冲突的共性问题，从二值命题逻辑理论出 发，研究面向冲突的无损求解 （即初始解空间获取）问题。首先，提出扩充和Wh-析取范式等概念， 在此基础上定义初始解空间，并通过提出的有效扩充概念得到初始解空间的简化表示——最简解空 间，探讨了两类解空间的关系及各自的计算方法。其次，构造生成序列来辅助公式的析取化，从泛代 数的角度定义了Wh-代数;提出指数矩阵,并籍此给出Wh-代数的等价表现形式，通过引入扩展指数矩 阵构造出扩展Wh-代数，最后证明了扩展Wh-代数中的展开定理和逻辑简化定理，给出基于有效扩充 的直接无损求解算法，并与提出的其他相关算法进行了对比，结果表明该算法较为理想。该研究对于 协同问题求解等领域有着重要的推动作用。 关键词：协同计算;冲突;二值命题逻辑;无损求解 ！日出1弋裂。材 8=一(—■v—B) (1)v（刊）=l一1 FQ。若在{o，1 }，aAb=min{, 阪f这里暂不考J 。解得到）外围白 其中，层数定j 争取式），则称{ ≥式，其各层么 }÷bAKW“nI~： 。取范式1 v-,p2)vJ （]胁^p3 _]胁）V(1 一 ． 一、 E．F斗＆mI 任一析取范 ？，贝U~A-- E范式，Q2． Z—D2“nUJ／U承 %)n岛(＆)(与定， ：整数LN(V)，使 }k^一 ，其 中再E ：属于K，+．） j=]p1^p2 V‘～+，叫甲～一JIJ一，～+17、 V4+2))，且q+l，…，q+r ：正整数，2≥Ⅳ有，(”)：∥ ：，州），则以上过程中已 ,p~,(47vA,,),__ -YlJ(vvA~,~ 0,0,0,0,0)o按! ，)，（见 v4），(p2 1，l，2，一1），则可得M、 了，天到T-代数E ．代数的表现形式，I ,+t~Fl,l~{1,..,,m}}, el=F/U{n+t}o可雀 ~tatr[Z(兀 p,AI-I-- 勘m(Q)=U，；∽，，。． =MS-Solu(Q)，并， ·一范式，而Ml：晟 。再由推论1，显} )M一逻辑简化，群 难很知r’、带寺一 逻辑简化的 勾例，其对应 亍被简化。； 定义可知第 n^n ^t，、、 40vA.}，{P12VAI6v ^p8^-1P9^Plo^Pll 7,014V~PI5），(,420VA21 公式，进行编号， ,J.,．一__— 较高 l j孺厌] 失 （即导致初始解空 是开）。那么，逻辑i B论在冲突问题研寅 需开展进一步研究． ，橹由加伺弘炫而雀 ：要研究创新的两大 E。 Z的，其以基元理{《 雪转化，对于冲突声 rnalofCompute ivingalgorithm 1578-1586(inC ,nforfunctiontr, nferenceonCo ResearchonLosslessSolvingofTwo-valuedPropositional Logic TangYiming1 LiuXiaoping2 1AnHuiProvinceKeyLaboratoryofAffectiveComputingAdvancedIntelligentMachine,HefeiUniversityof Technology,Hefei230009 2SchoolofComputerandInformation,HefeiUniversityofTechnology,Hefei230009 Abstract:Aimingatthecommonproblemthatthereexistconflictsinmanyfieldssuchascol