-
题名改进的布尔公式学习算法
- 1
-
-
作者
哈晓琳
李勇坚
-
机构
中国科学院软件研究所计算机科学国家重点实验室
中国科学院大学
-
出处
《计算机系统应用》
2014年第9期83-88,共6页
-
基金
国家自然科学基金(61271365)
-
文摘
当前,布尔公式学习算法的研究大多数是理论上的模型建立和推导,很少有人考虑到布尔公式学习算法在实际应用中的效率改进.现在较成熟的布尔学习算法主要利用的是询问模型,而询问模型需要依赖外部的SMT工具进行询问问题的回答.虽然,布尔公式学习算法可以在多项式次数的询问之后得到正确结果,但是,减少询问的次数可以减少使用SMT工具进行问题计算的次数,即减少问题计算的时间.主要针对布尔公式学习算法在实际系统中的应用问题,提出了利用单调理论中的最小赋值向量的方法,来减少布尔公式学习算法的询问次数,提高算法效率和适用性.
-
关键词
布尔公式
学习算法
询问模型
单调理论
最小赋值向量
-
Keywords
boolean formula learning algorithm query model monotone theory minterms
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-