ESTABLISHING LOGICAL RULES FROM EMPIRICAL DATA

摘要

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. In spite of the fact that formal concept techniques have been used to prune frequent set data mining results, frequency and/or statistical significance are totally irrelevant to this method. It is strictly logical and deterministic. The contribution of this paper is a completely new extension of this method to create implications involving numeric inequalities. That is, numerical inequalities such as "age > 39" can be treated as logical predicates that have been extracted from the data itself and not postulated apriori.