改进的布尔公式学习算法

摘要：

当前，布尔公式学习算法的研究大多数是理论上的模型建立和推导，很少有人考虑到布尔公式学习算法在实际应用中的效率改进。现在较成熟的布尔学习算法主要利用的是询问模型，而询问模型需要依赖外部的SMT 工具进行询问问题的回答。虽然，布尔公式学习算法可以在多项式次数的询问之后得到正确结果，但是，减少询问的次数可以减少使用 SMT 工具进行问题计算的次数，即减少问题计算的时间。主要针对布尔公式学习算法在实际系统中的应用问题，提出了利用单调理论中的最小赋值向量的方法，来减少布尔公式学习算法的询问次数，提高算法效率和适用性。

关键词：布尔公式、学习算法、询问模型、单调理论、最小赋值向量

分类号：TP3;TP1

资助基金：国家自然科学基金61271365

在线出版日期：2014-09-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：83-88