követő állapot axióma

Kapcsolódó fogalmak: 
szituációkalkulus
Kapcsolódó könyvfejezetek: 
10.3. Cselekvések, szituációk és események
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.