V systému LISp-Miner je implementováno devět GUHA procedur. V této wiki je podrobně popsáno sedm GUHA procedur pracujících se vztahy verifikovanými na základě různých typů kontingenčních tabulek. Dále je zde stručný odkaz na další dvě GUHA procedury.

Popisované GUHA procedury pracují se vztahy vycházejícími z asociačních pravidel, histogramů, kontingenčních tabulek a akčních pravidel. Jedná se o následující procedury:

• 4ft-Miner pracující s GUHA asociačními pravidly a s podmíněnými GUHA asociačními pravidly φ≈ψ/χ.
• SD4ft-Miner pracující s SD4ft-pravidly α×β:φ∼ψ a s podmíněnými SD4ft-pravidly α×β:φ∼ψ/χ.
• CF-Miner pracující s CF-výrazy A/χ odpovídajícími histogramům A/χ.
• SDCF-Miner pracující s SDCF-výrazy odpovídajícími dvojicím histogramů A/α∧χ a A/β∧χ.
• KL-Miner pracující s KL-vztahy R≈C/χ kde R a C jsou kategoriální atributy a χ je booleovský atribut.
• SDKL-Miner pracující s SDKL-vztahy α×β:R≈C/χ kde R a C jsou kategoriální atributy a α,β,χ jsou booleovské atributy.
• Ac4ft-Miner pracující s akčními pravidly.

Všechny procedury jsou GUHA procedury ve smyslu původní definice. To znamená, že na vstupu jsou analyzovaná data spolu se zadáním množiny relevantních tvrzení a na výstupu jsou všechna prostá tvrzení.

Analyzovaná data jsou ve formě matice dat, která je výsledkem předzpracování v systému LISp-Miner.

Zadání množiny relevantních tvrzení se pro všechny procedury provádí podle jednotného schematu.

Je k dispozici přehled typových úloh řešitelných pomocí uvedených procedur.

Jsou k dispozici i tipy a odpovědi na časté otázky.

Krom GUHA procedur pracujících se vztahy verifikovanými v různých typech kontingenčních tabulek, jsou v systému LISp-Miner jsou implementovány i dvě další GUHA procedury:

• Procedura MCluster-Miner vychází jak z obecného postupu shlukové analýzy, tak z principu metody GUHA. Výsledkem proto není jediná možná varianta shlukování, ale všechny varianty, které vyhovují zadání.
• Procedura ETree-Miner vychází jak z obecného postupu vytváření rozhodovacích stromů, tak z principu metody GUHA. Výsledkem proto nemusí být pouze jeden rozhodovací strom, ale tzv. explorační strom reprezentující celý les rozhodovacích stromů.