Learning Disjunctions of Predicates

Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev +1

Let $F$ be a set of boolean functions. We present an algorithm for learning $F_{\vee }:=\{{\vee }_{f\in S}f\mid S\subseteq F\}$ from membership queries. Our algorithm asks at most $…