"Inference of Monotone Boolean Functions"



by Evangelos Triantaphyllou and Vetle I. Torvik

Encyclopedia of Optimization, (P.M. Pardalos and C. Floudas, Editors), Kluwer Academic Publishers, Boston, MA, U.S.A., Vol. 2, pp. 472-480, (2001).


Abstract:
The goal in a classification problem is to uncover a system that places examples into two or more mutually exclusive groups. Identifying a classification system is beneficial in several ways. First of all, examples can be organized in a meaningful way, which will make the exploration and retrieval of examples belonging to specific group(s) more efficient. The tree-like directory structure, used by personal computers in organizing files, is an example of a classification system, which enables users to locate files quickly by traversing the directory paths. A classification system can be used to classify new examples. For an incomplete or stochastic system, its structure may pose questions whose answers may generalize the system or make it more accurate.

Keywords and Phrases:
Boolean functions, monotone booleans function, isotone boolean functions, antitone boolean function, classification problem, boolean function inference problem, free distributive lattice, Conjunctive Normal Form (CNF), Disjunctive Normal Form (DNF), interactive learning of boolean functions, Shannon function, Hansel theorem, Hansel chains, Sequential Hansel Chains Question- Asking Strategy, Binary Search/Hansel Chains Question-Asking Strategy, binary search.



Download this paper as a PDF file. (size = 290 KB)




Visit Dr. Triantaphyllou's Homepage.