Title :
Establishing Logical Rules from Empirical Data
Author_Institution :
Univ. of Virginia, Charlottesville
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.
Keywords :
formal logic; knowledge based systems; deterministic data; empirical data; formal concept analysis; logical rules generation; rule based systems; Artificial intelligence; Bayesian methods; Computer science; Knowledge based systems; Lattices; Probabilistic logic; Relational databases; Testing;
Conference_Titel :
Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on
Conference_Location :
Patras
Print_ISBN :
978-0-7695-3015-4
DOI :
10.1109/ICTAI.2007.53
