The GUHA is a method of mechanizing hypothesis formation. The input of the GUHA procedure consists of analysed data and several parameters... Læs mere
Observational calculi were introduced in the 1960’s as a tool of logic of discovery. Formulas of observational calculi correspond to assertions on analysed... Læs mere