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… 
Studying Interest Measures for Association Rules through a Logical Model
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
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
TLDR
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.
...
1
2
3
4
5
...

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