Zadání Ac4ft-kvantifikátoru

Součástí zadání množiny relevantních akčních pravidel φ ∧ Φ ≈ ψ ∧ Ψ i podmíněných akčních pravidel φ ∧ Φ ≈ ψ ∧ Ψ /χ je i zadání Ac4ft-kvantifikátoru ≈ v okně dle následujícího obrázku.

Ac4ft-kvantifikátor ≈ je dán jako konjunkce Ac4ftt-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující Ac4ft-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané Ac4ft-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu Ac4ft-kvantifikátoru.

• Tlačítkem Add statistical quantifier se zadávají statistické Ac4ft-kvantifikátory popsané zde.
• Tlačítkem Add simple frequencies quantifier se zadávají jednoduché frekvenční Ac4ft-kvantifikátory popsané zde.