Expert deduction rules in data mining with association rules: a case study

摘要

An approach to dealing with domain knowledge in data mining with association rules is introduced. We deal with association rules with remarkably enhanced syntax. This opens various possibilities for both logical and expert deduction. An expert deduction rule is a logically incorrect deduction rule which is supported by an indisputable fact concerning the application domain. The expert deduction rule is correct according to the given indisputable fact if a suitable assertion related to the given expert deduction rule can be formally proved from this indisputable fact. Examples of expert deduction rules and their applications are presented.