On Finding a First-Order Sentence Consistent with a Sample of Strings

Thiago Alves Rocha, Ana Teresa Martins, Francicleber Martins Ferreira

We investigate the following problem: given a sample of classified strings, find a first-order sentence of minimal quantifier rank that is consistent with the sample. We represent…