Considerations on Logical Calculi for Dealing with Knowledge in Data Mining

An attempt to develop and apply logical calculi in exploratory data analysis was made 30 years ago. It resulted in a definition and study of observational logical calculi based on modifications of classical predicate calculi and on mathematical statistics. Additional results followed the definition and first implementations of the GUHA method of mechanizing hypothesis formation. The GUHA method can be seen as one of the first data mining methods. Applications of modern and enhanced implementation of the GUHA method confirmed the generally accepted need to use domain knowledge in the process of data mining. Moreover it inspired considerations on the application of logical calculi for dealing with domain knowledge in data mining. This paper presents these considerations.

[1]  Martin Ralbovský,et al.  Using Disjunctions in Association Mining , 2007, Industrial Conference on Data Mining.

[2]  Jan Rauch.  Definability of Association Rules in Predicate Calculus , 2006, Foundations and Novel Approaches in Data Mining.

[3]  Petr Hájek,et al.  GUHA for personal computers , 1995 .

[4]  Jan Rauch,et al.  Ontology-Enhanced Association Mining , 2005, EWMF/KDO.

[5]  Xindong Wu,et al.  10 Challenging Problems in Data Mining Research , 2006, Int. J. Inf. Technol. Decis. Mak..

[6]  Milan Šimůnek.  Academic KDD Project LiSp-Miner , 2003 .

[7]  T. Havránek,et al.  Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory , 1978 .

[8]  Jan Rauch.  Logical Calculi for Knowledge Discovery in Databases , 1997, PKDD.

[9]  Bruno Crémilleux,et al.  A Unified View of Objective Interestingness Measures , 2007, MLDM.

[10]  Jan Rauch,et al.  Logic of Association Rules , 2004, Applied Intelligence.

[11]  Shusaku Tsumoto,et al.  Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings , 2005, ISMIS.

[12]  Yves Kodratoff.  Recent Advances in Machine Learning , 1992, Int. J. Pattern Recognit. Artif. Intell..

[13]  Dunja Mladenic,et al.  Semantics, Web and Mining , 2008 .

[14]  Jan Rauch,et al.  Classes of Association Rules: An Overview , 2008, Data Mining: Foundations and Practice.

[15]  Jan Rauch,et al.  LAREDAM - Considerations on System of Local Analytical Reports from Data Mining , 2008, ISMIS.

[16]  Jan Rauch,et al.  Logical Aspects of the Measures of Interestingness of Association Rules , 2010, Advances in Machine Learning II.

[17]  Petra Perner,et al.  Advances in Data Mining , 2002, Lecture Notes in Computer Science.

[18]  Howard J. Hamilton,et al.  Interestingness measures for data mining: A survey , 2006, CSUR.

[19]  Saso Dzeroski,et al.  Inductive Logic Programming: Techniques and Applications , 1993 .

[20]  Samik Basu,et al.  Local and On-the-fly Choreography-based Web Service Composition , 2007, IEEE/WIC/ACM International Conference on Web Intelligence (WI'07).

[21]  Jan Rauch,et al.  An Alternative Approach to Mining Association Rules , 2005, Foundations of Data Mining and knowledge Discovery.

[22]  Tsau Young Lin,et al.  Foundations and Novel Approaches in Data Mining , 2006, Studies in Computational Intelligence.

[23]  Jan Rauch,et al.  Semantic Web Presentation of Analytical Reports from Data Mining - Preliminary Considerations , 2007 .

[24]  Jan Rauch,et al.  Dealing with Background Knowledge in the SEWEBAR Project , 2009, Knowledge Discovery Enhanced with Semantic and Social Information.

[25]  Heikki Mannila,et al.  Fast Discovery of Association Rules , 1996, Advances in Knowledge Discovery and Data Mining.

[26]  Jan Rauch,et al.  GUHA method and granular computing , 2005, 2005 IEEE International Conference on Granular Computing.