Třídy SD4ft-pravidel

Abstract

V předložené práci jsou definovány třídy SD4ft-pravidel, se kterými pracuje GUHA procedura SD4ft-Miner implementovaná v systému LISp-Miner. Cílem bylo nalézt třídy SD4ft-pravidel, které mají obdobné vlastnosti jako třídy asociačních pravidel se kterými pracuje GUHA procedura 4ft-Miner. Jedná se zejména o nalezení kritérií korektnosti dedukčních pravidel (týkajících se SD4ft-pravidel) a práci s datovými maticemi s neúplnou informací. K tomu bylo třeba nejprve vytvořit potřebný teoretický aparát; definovat logický kalkul, jehož formule odpovídají SD4ft-pravidlům nebo zavést principy práce s neúplnou informací pro SD4ft-pravidla. Snahou bylo využít poměrně bohaté zkušenosti a teoretické poznatky o asociačních pravidlech (4ft-pravidlech) a přenést je do prostředí SD4ft-pravidel. V práci jsou definovány některé potenciálně významné SD4ft-kvantifikátory odvozené od významných 4ft-kvantifikátorů. Zkoumané třídy SD4ft-pravidel jsou navrženy tak, aby obsahovaly SD4ft-pravidla založená na těchto významných SD4ft-kvantifikátorech.

There are some classes of SD4ft-patterns defined in this work. SD4ft-patterns are the patterns which the GUHA procedure SD4ft-Miner deals with. The aim of this work was to define the classes of SD4ft-patterns, which have similar properties like the classes of association rules; in particular to find the criteria of correctness of deduction rules and data mining in databases, which contain an uncomplete information (NULL values). The logical calculi such that its formulae correspond to SD4ft-patterns and principles of work with uncomplete information are defined in this paper. Our effort was to utilize the existing knowledge of association rules (also called 4ft-patterns) to study SD4ft-patterns. Some potentially useful SD4ft-quantifiers based on useful 4ft-quantifiers are defined. The investigated classes of SD4ft-patterns were designed, so that they contain SD4ft-patterns based on these useful SD4ft-quantifiers.