命题公式的结构性质及算法优化

    成果编号：9642024J0683
    第一完成单位名称：北方民族大学
    联系人：王晓峰 联系人电话：18909587128
    成果简介：
    该成果创造性提出了可满足性问题实例结构性质的度量方法，通过将实例转化为因子图，利用结构熵研究因子图的结构特点，给出了WP可解公式和WP不可解公式，进一步分析了信息传播算法的收敛性，理清了结构信息与信息传播算法收敛性之间的关系，揭示了信息传播算法求解难解可满足性问题实例失败的原因，得到了一些指导性建议，为推动信息传播算法在人工智能领域的广泛应用具有一定价值。
发表论文19篇，其中SCI检索论文3篇，一级学报论文1篇，CSCD论文15篇。