toto su heuristiky, pomahajuce pri vypocte stabilnych modelov s vyuzitim grafu priradeneho k logickemu programu tak, ze - uzlami su ciastocne interpretacie - (v, w) je hranou prave vtedy, ked v \not = w a existuje r \in P, t.z. v \models body(r) a w = v \cup {head(r)} vypocet prebieha tak, ze sa zvoli bejaka startovacia mnozina negativnych literalov, postupne sa aplikuju aplikovatelne pravidla; ak sa dostaneme k totalnej interpretacii (a nie dalej, do nekonzistentnosti), ziskana totalna interpretacia je stabilnym modelom heuristiky iste nie su kompletne, ale mozu byt napomocne pri volbe startovacich mnozin negativnych literalov budem pouzivat tento priklad programu (nazvime ho P :-): (1) a <-- w, not p (2) p <-- 1. ak A nie je v hlave ziadneho pravidla, not A ma patrit do kazdej startovacej mnoziny priklad: v P nie je v hlave ziadneho pravidla w, preto v kazdej startovacej mnozine musi byt not w 2. negativne literaly z tiel pravidiel zaradujeme do startovacich mnozin (obozretne: tak, aby sa vzajomne neblokovali; ak z mnoziny negativnych literalov Xs dostaneme atom A - mozeme hovorit,ze A je na Xs zavisly - potom not A nespojime s Xs) priklad: mozeme si predstavit rosiahlesie program, klotry obsahuje P; z kazdej mnoziny negativnych literalov dostaneme p; preto nema zmysel zaradovat not p do stratovacej mnoziny 3. ak atom A je zavisly (na zaklade pravidiel programu) na literaloch, ktore nemozu byt pravdive pre danu (pripadne ziadnu) startovaciu mnozinu, not A zaradit do danej (vsetkych) starovacich mnozin priklad: a je zavisly na w; w nemoze byt pravdivy; preto not a zaradime do startovacej mnoziny literalov (kazdej, i ked je iba jedna :-) 4. nutne nepravdive su take atomy, ktore sa vyskytuju iba v hlavach pravidiel, ktorych tela nemozu byt pravdive (preto ich negacie zaradujeme do startovacej/startovacich mnoziny/mnozin ine priklady: P_1 = a <-- b b <-- c ani b, ani c nemoze byt pravdive (na zaklade vypoctu v grafe), teda musi platit not a, not b (samozrejme, aj not c, lebo c nie je v ziadnej hlave) P_2 = a <-- not b b <-- not c d <-- not b nemoze byt v startovacej mnozine: c ni je v hlave ziadneho pravidla, preto, not c musime prijat, preto b musi byt v (kazdom) stabilnom modeli; preto a nemozeme odvodit zo ziadnej startovacej mnoziny a teda not a patri do kazdej startovacej mnoziny