Metoda GUHA a systém LISp-Miner

Pro akční pravidla a proceduru Ac4ft-Miner jsou k dispozici tato témata:

• základní informace
• příklady typických aplikací.

Procedura Ac4ft-Miner pracuje s akčními pravidly φ ∧ Φ ≈ ψ ∧ Ψ a s podmíněnými akčními pravidly φ ∧ Φ ≈ ψ ∧ Ψ /χ Zde φ, ψ, χ jsou booleovské atributy, φ je stabilní antecedent a ψ je stabilní sukcedent. Φ a Ψ jsou změny booleovských atributů, Φ je změna antecedentu a Ψ je změna sukcedentu. Symbol ≈ je Ac4ft-kvantifikátor. Podrobnosti jsou uvedeny zde.

Jsou uvedeny tři příklady aplikací procedury Ac4ft-Miner. Dále předpokládáme, že jsou dány skupiny atributů S1, S2, S3, V, Z a atribut A.

1. První příklad se týká úlohy hledání okolností daných konjunkcí φ booleovských charakteristik skupin S1, S2, S3 takových, že změna booleovské charakteristiky κ₁ skupiny V na charakteristiku κ₂ způsobí výrazný rozdíl mezi charakteristikami asociačních pravidel φ ∧ κ₁ ≈ A(u) a φ ∧ κ₂ ≈ A(u) kde u je předem daná kategorie atributu A. Podrobnosti jsou uvedeny zde.
2. Druhý příklad se týká podobné úlohy jako první příklad. Ptáme se však, jakou změnu booleovské charakteristiky skupiny Z změna κ₁ na κ₂ vyvolá. Podrobnosti jsou uvedeny zde.
3. Třetí příklad je téměř stejný jako první příklad. Booleovský atribut A(u) se však týká libovolné kategorie atributu A a zajímá nás násobné změna vedoucí k násobně vyšší konfidenci pravidla φ ∧ κ₂ ≈ A(u) oproti pravidlu φ ∧ κ₁ ≈ A(u). Podrobnosti jsou uvedeny zde.