"An Approach to Guided Learning of Boolean Functions"

Mathematical and Computer Modeling, 1995, Vol. 23, No. 3, pp. 281-310.

Evangelos Triantaphyllou and Allen L. Soyster

A critical aspect in the problem of inductive inference is the number of examples needed to accurately infer a Boolean function from positive and negative examples. In this paper we develop an approach for deriving a sequence of examples for this problem. Some computer experiments indicate that, on the average, examples derived according to the proposed approach lead to the inference of the correct function considerably faster than when examples are derived in a random order.

Key Words:
Inductive inference, Boolean functions, learning from examples, artificial intelligence, clause satisfiability problem.

Download this paper as a PS (PostScript) file (size = 2,714 KB).

Download this paper as a PDF file (size = 1,793 KB).

Return to Dr. Triantaphyllou's Homepage.