hurokmentesség

Kapcsolódó könyvfejezetek: 
7.6. Ítéletlogikát alkalmazó ágensek
Rövid szöveges bemutatás: 
A hurokmentesség egy általános logikában és informatikában használandó fogalom. Erre a legegyszerűbb analógia a tyúk és a tojás esete adja. Melyik volt előbb? Hiszen mind a kettőhöz kell a másik jelenléte. Tehát itt egy logikai hurok van. Pontosabban megfogalmazva, tegyük fel, hogy adott egy "A" állítás, melynek értéke függ a "B" állítástól. Azonban "B" állítás értéke függ az "A" állítás értékétől. Tehát ha megváltoztatom "A"-t (mondjuk felteszem, hogy igaz vagy hamis), akkor megváltozik, megváltozhat "B" értéke is. Ennek hatására azonban ismét megváltozik "A" értéke, aminek a következménye, hogy "B" értéke is megváltozik. És így tovább, amíg csak le nem állítja valaki ezt a folyamatot. Ez egy hurok. Ilyenektől való mentesség, vagy egyértelmű módszer a feloldására, nagyon fontos a matematika minden terület. A mellékelt ábrán vizuálisan is meg lehet ezt tekinteni.