Learnability of exclusive-or expansion based on monotone DNF formulas

Abstract

The learnability of the class of exclusive-or expansion based on monotone DNF formulas is investigated. The class consists of the formulas of the form (Formula presented), where (Formula presented) are monotone DNF formulas. It is shown that any Boolean function can be represented as an formula in this class, and that the representation in the simplest form is unique. Learning algorithms that learn such formulas using various queries are presented: An algorithm with subset and superset queries and one with membership and equivalence queries are given. The former can learn any formula in the class, while the latter is proved to learn formulas of bounded depth, i.e., formulas represented as exclusive-or of a constant number of monotone DNF formulas. In spite of seemingly strong restriction of the depth being constant, the class of formulas of bounded depth includes functions with very high complexity in terms of DNF and CNF representations, so the latter algorithm could learn Boolean functions significantly complex otherwise represented.