Abstract
Observational calculi were defined in relation to GUHA method of mechanising hypotheses formation. Formulae of observational calculi correspond to statistical hypothesis tests and various further assertions verificated in the process of data analysis. An example of application of the GUHA procedure PC-ASSOC is described in the paper. Logical relation among formulae of observational calculi are discussed and some important results concerning deduction rules are shown. Possibilities of applications of logical properties of formulae corresponding to hypotheses tests in the field of KDD are suggested.
Keywords
- Association Rule
- Relevant Question
- Generalise Quantifier
- Propositional Formula
- Statistical Hypothesis Test
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This paper is supported by grant 47160008 of Ministry of Education, Youth and Sports and by grant 201/96/1445 of the Grant Agency of the Czech Republic.
Download to read the full chapter text
Chapter PDF
References
Aggraval, R. et al: Fast Discovery of Association Rules in Fayyad, U. M. et al.: Advances in Knowledge Discovery and Data Mining. AAAI Press/The MIT Press, 1996. 307–328
Hájek, P., Havránek T.: Mechanising Hypothesis Formation — Mathematical Foundations for a General Theory. Berlin-Heidelberg-New York, Springer-Verlag, 1978, 396 p.
Hájek, P., Sochorová, A., Zvárová, J.: GUHA for personal computers. Computational Statistics & Data Analysis 19, (1995) 149–153
Havránek, T.: The present state of the GUHA software. International Journal of Man-Machine Studies, 15, (1981), 253–264
Matheus, J. et al: Selecting and Reporting What is Interesting: The KEFIR Application to Healthcare Data in Fayyad, U. M. et al.: Advances in Knowledge Discovery and Data Mining. AAAI Press/The MIT Press, 1996, 495–515
Mendelson, E.: Introduction to Mathematical Logic. Princeton, D. Van Nostrand Company, Inc., 1964
Rauch J.: Some Remarks on Computer Realisations of GUHA Procedures. International Journal of Man-Machine Studies, 10, (1978) 23–28
Rauch, J.: Logical foundations of mechanising hypotheses formation from databases (in Czech). Thesis, Mathematical institute of Czechoslovak Academy of Sciences Prague, 1986, 133 p.
Rauch J.: Logical problems of Statistical Data Analysis in Data Bases. in Proceedings of the Eleventh International Seminar on Data Base Management Systems. Budapest, Central Statistical Office, 1988, 53–63
Rauch, J.: GUHA as a Data Mining Tool. In: Practical Aspects of Knowledge Management. Schweizer Informatiker Gesellshaft Basel, 1996
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rauch, J. (1997). Logical calculi for knowledge discovery in databases. In: Komorowski, J., Zytkow, J. (eds) Principles of Data Mining and Knowledge Discovery. PKDD 1997. Lecture Notes in Computer Science, vol 1263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63223-9_105
Download citation
DOI: https://doi.org/10.1007/3-540-63223-9_105
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63223-8
Online ISBN: 978-3-540-69236-2
eBook Packages: Springer Book Archive