# The GUHA method of automatic hypotheses determination

@article{Hjek2006TheGM, title={The GUHA method of automatic hypotheses determination}, author={Petr H{\'a}jek and Ivan M. Havel and Metodej K. Chytil}, journal={Computing}, year={2006}, volume={1}, pages={293-308} }

SummaryThe presented method is an application of the mathematical logic and computer technique to the research problems of concrete sciences.Let us assume a model (precisely a unary semantic model), i. e. a finite nonempty system of objects and a finite system of properties, to be given. It is known, for each object and each property, whether or not the object possesses the property. (E. g., objects are patients and properties are diseases or facts that some medicines were administered etc…

## 116 Citations

Studying Interest Measures for Association Rules through a Logical Model

- Computer Science, MathematicsInt. J. Uncertain. Fuzziness Knowl. Based Syst.
- 2010

This work provides a new study of the principles proposed until now by means of the logic model proposed by Hajek et al. and defines new classes of quantifiers according to the notions of strong and very strong rules.

Association Rule Interestingness Measures: Experimental and Theoretical Studies

- Computer ScienceQuality Measures in Data Mining
- 2007

A formal and an experimental study of 20 measures of association rule interestingness measures and the properties are used in a multi-criteria decision analysis in order to select amongst the available measures the one or those that best take into account the user’s needs.

A Logic Approach for Exceptions and Anomalies in Association Rules

- Computer ScienceSOCO 2008
- 2008

This work intends to go deeper in the logic model studied in [5], and establishes the true semantics of the distinct kinds of knowledge in the database hidden in the four folds of the contingency table.

Formal Logics of Discovery and Hypothesis Formation by Machine

- Computer ScienceDiscovery Science
- 1998

The aims of the paper are to illustrate the use of the calculi in question on the example of the GUHA method of hypothesis generation by computer, subjecting this method to a criticale valuation in the context of contemporary data mining.

Association Rule Interestingness: Measure and Statistical Validation

- Mathematics, Computer ScienceQuality Measures in Data Mining
- 2007

An original bootstrap-based validation method is proposed which controls, for a given level, the number of false discoveries, which is of prime importance for the selection of interesting association rules.

On selecting interestingness measures for association rules: User oriented description and multiple criteria decision aid

- Computer ScienceEur. J. Oper. Res.
- 2008

This article proposes a new direction to select the best rules: a two-step solution to the problem of the recommendation of one or more user-adapted interestingness measures, based on meaningful classical properties.

Design and behavior study of a grammar-guided genetic programming algorithm for mining association rules

- Computer ScienceKnowledge and Information Systems
- 2011

G3PARM (Grammar-Guided Genetic Programming for Association Rule Mining) makes the knowledge extracted more expressive and flexible and allows a context-free grammar to be adapted and applied to each specific problem or domain and eliminates the problems raised by discretization.

A formal model for mining fuzzy rules using the RL representation theory

- Computer Science, MathematicsInf. Sci.
- 2011

This paper introduces a formal model for managing the imprecision in fuzzy transactional databases using the restriction level representation theory, a recent representation ofImprecision that extends that of fuzzy sets.

Volume of Abstracts Logic, Algebra and Truth Degrees 2010

- Mathematics
- 2010

Mathematical Fuzzy Logic (MFL) is the subdiscipline of mathematical logic devoted to the study of formal systems of fuzzy logic. It has been a fairly active research field for more than two decades,…

New Approaches for Discovering Exception and Anomalous Rules

- Computer Science, MathematicsInt. J. Uncertain. Fuzziness Knowl. Based Syst.
- 2011

The so called double rules are defined as a new type of rules which in conjunction with exceptions and anomalies will describe in more detail the relationship between two sets of items and an algorithm with reasonably good performance is proposed.

## References

SHOWING 1-5 OF 5 REFERENCES

C~Iu GUHA-metoda systematick6ho vyhled~v~nl hypot6z (GUHA -- a method of automatic hypotheses determination, in czeoh)

- I~ybernetika
- 1966

Sintez cifrovyb av~oma~ov (The synthesis of c~ig[tal automata, in russian.)

- Fizmatgiz
- 1962