Mechanizing Hypothesis Formation

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 condition.