学习谓词的析取
机器学习
2017-06-19 v1
摘要
设 为一个布尔函数集合。我们提出一种通过成员查询学习 的算法。我们的算法最多进行 次成员查询，其中 是学习 所需的最小最坏情况成员查询次数。当 是常维空间上的半空间集合或变量不等式集合时，我们的算法在多项式时间内运行。我们所解决的问题在程序综合领域具有重要的实际意义，该领域的目标是综合出满足某些需求的程序。程序综合已变得日益流行，尤其是在旨在帮助终端用户的场景中。在这些场景中，需求并非预先提供，综合器只能通过向终端用户提出成员查询来学习这些需求。我们的工作使得此类综合器能够在限定成员查询次数的同时学习到确切的需求。
引用
@article{arxiv.1706.05070,
title = {Learning Disjunctions of Predicates},
author = {Nader H. Bshouty and Dana Drachsler-Cohen and Martin Vechev and Eran Yahav},
journal= {arXiv preprint arXiv:1706.05070},
year = {2017}
}