Rövid szöveges bemutatás:
Az állapotkorlátozás vagy más néven, az állapotmegkötés az MI keretin belül szinte mindenhol előfordul, ahol állapotról beszélhetünk. Azonban az állapotmegkötéseket leggyakrabban az ítéletlogikában használjuk, illetve ott ahol nyílt világ feltételezés van érvényben, tehát ahol egy állításról explicit ki kell mondanunk ha azt hamisnak ismerjük. Az állapotmegkötés nem más mint az, hogy korlátozzuk egy állapot lehetséges értékeit, tehát általánosan kijelentjük, hogy valami nem lehetséges. Leginkább egy példával egyszerű ezt bemutatni: az egy állapotmegkötés, ha egy tárgyról tudom, hogy nem lehet egyszerre két különböző helyen.