Modifying Logic of Discovery for Dealing with Domain Knowledge in Data Mining

Abstract. Logic of discovery was developed in 1970’s as an answer to questions ”Can computers formulate and justify scientific hypotheses?” and ”Can they comprehend empirical data and process it rationally, using the apparatus of modern mathematical logic and statistics to try to produce a rational image of the observed empirical world?”. Logic of discovery is based on observational and theoretical languages and on inductive inference corresponding to statistical approaches. Formulas of observational language concern analyzed observational data and formulas of theoretical language concern suitable state dependent structures. The goal of the paper is to discuss a possibility to adapt the logic of discovery to data mining.