Establishing Logical Rules from Empirical Data

Abstract

We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described and tested on rather large sets of deterministic data. The contribution of this paper is a completely new extension of this method to create implications involving numeric inequalities.