Data sets -- Principle and simple examples -- Common features -- LISp-Miner system -- Examples overview -- 4ft-Miner-GUHA association rules -- CF-Miner-histograms -- KL-Miner-pairs of categorical attributes -- SD4ft-Miner-couples of GUHA association rules -- SDCF-Miner-couples o…
"The GUHA is a method of mechanizing hypothesis formation. The input of the GUHA procedure consists of analysed data and several parameters defining a large set of relevant patterns. The output is a representation of a set of all relevant patterns satisfying the given true condi…
Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question can computers formulate and verify scientific hypotheses?. The development resulted in a general theory of logic of discovery. It comprises…