Úvod
Důležité pojmy
Vztahy, s nimiž procedury pracují
GUHA procedury
GUHA procedury - společné prvky
Observační kalkuly - relevantní výsledky
Důležité tématické okruhy
Úvod
Důležité pojmy
Vztahy, s nimiž procedury pracují
GUHA procedury
GUHA procedury - společné prvky
Observační kalkuly - relevantní výsledky
Důležité tématické okruhy
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.