CAJ | 학술논문

当前，布尔公式学习算法的研究大多数是理论上的模型建立和推导，很少有人考虑到布尔公式学习算法在实际应用中的效率改进。现在较成熟的布尔学习算法主要利用的是询问模型，而询问模型需要依赖外部的SMT 工具进行询问问题的回答。虽然，布尔公式学习算法可以在多项式次数的询问之后得到正确结果，但是，减少询问的次数可以减少使用 SMT 工具进行问题计算的次数，即减少问题计算的时间。主要针对布尔公式学习算法在实际系统中的应用问题，提出了利用单调理论中的最小赋值向量的方法，来减少布尔公式学习算法的询问次数，提高算法效率和适用性。
당전，포이공식학습산법적연구대다수시이론상적모형건립화추도，흔소유인고필도포이공식학습산법재실제응용중적효솔개진。현재교성숙적포이학습산법주요이용적시순문모형，이순문모형수요의뢰외부적SMT 공구진행순문문제적회답。수연，포이공식학습산법가이재다항식차수적순문지후득도정학결과，단시，감소순문적차수가이감소사용 SMT 공구진행문제계산적차수，즉감소문제계산적시간。주요침대포이공식학습산법재실제계통중적응용문제，제출료이용단조이론중적최소부치향량적방법，래감소포이공식학습산법적순문차수，제고산법효솔화괄용성。
Currently, most of the study of Boolean formula learning is theoretically the modeling and derivation. Less people considers efficiency improvements in practical applications. Now more mature Boolean formula learning algorithms mainly use the query model, and the query model relies on external SMT tools to answer the query problems. Although Boolean formula learning algorithm can get the right result after a polynomial number of queries, reducing the number of queries can reduce the number of using SMT tools to answer the queries, namely to reduce the computing time of the queries. This paper took the smallest monotonous assignment vector of the monotone theory to reduce the number of queries in Boolean formula learning algorithm and improved the efficiency of the learning algorithm.