Rövid szöveges bemutatás:
A követő állapot axiómát a szituációkalkulusban alkalmazzuk. Arra használjuk, hogy egy állapot értékét meg tudjuk határozni a következő cselekvés hatására. Alakja: Egy állapot igaz lesz, ha a következő cselekvés igazzá tette, vagy igaz volt a cselekvés előtt és a cselekvésnem nem volt rá hatása. A legegyszerűbb példa a mozgás leírása. Tehát az ágens egy x csomópontban lesz, ha a következő cselekvés az x csomópontba való eljutás vagy a cselekvés előtt és x-be volt és ezen a cselekvés nem változtatott.