A Logic of "Black Box" Classifier Systems

Xinghan Liu, Emiliano Lorini

Binary classifiers are traditionally studied by propositional logic (PL). PL can only represent them as white boxes, under the assumption that the underlying Boolean function is fu…