A Greedy Randomized Adaptive Search Procedure (GRASP) for inferring logical clauses from examples in polynomial time and some extensions

  • Authors:
  • A.S Deshpande;E Triantaphyllou

  • Affiliations:
  • Department of Industrial and Manufacturing Systems Engineering Louisiana State University, 3128 CEBA Building, Baton Rouge, LA 70803-6409, U.S.A.;Department of Industrial and Manufacturing Systems Engineering Louisiana State University, 3128 CEBA Building, Baton Rouge, LA 70803-6409, U.S.A.

  • Venue:
  • Mathematical and Computer Modelling: An International Journal
  • Year:
  • 1998

Quantified Score

Hi-index 0.98

Visualization

Abstract

Two new heuristics are presented for inferring a small size Boolean function from complete and incomplete examples in polynomial time. These examples are vectors defined in {1,0}^n for the complete case, or in {1, 0,*}^n for the incomplete case (where n is the number of binary attributes or atoms and ''*'' indicates unknown value). Each example is either positive or negative, if it must be accepted or rejected by the target function, respectively. For the incomplete case, however, some examples may be unclassifiable. Moreover, computational results indicate that the proposed heuristics may also be effective in solving very large problems with thousands of examples.