Formal Framework for Data Mining with Association Rules and Domain Knowledge --Overview of an Approach

A formal framework for data mining with association rules is introduced. The framework is based on a logical calculus of association rules which is enhanced by several formal tools. The enhancement allows the description of the whole data mining process, including formulation of analytical questions, application of an analytical procedure and interpretation of its results. The role of formalized domain knowledge is discussed.