hatásaxióma

Kapcsolódó fogalmak: 
szituációkalkulus
Rövid szöveges bemutatás: 
A szituáció kalkulus egyik alapvető funkciója, ill. feladata, hogy képes kifejezni egy cselekvés hatását az úgynevezett hatásaxiómákkal. A hatásaxióma célja, hogy segítségével le tudjuk írni, hogy a cselekvés hatására hogyan változik az ágens környezetére jellemző egy-egy tulajdonság, típikusan ha-akkor szabályok alakjában (ha most ez van, akkor a cselekvés végrehajtása utáni helyzetben más lesz). A cselekvés helyzetváltó képességét (időhaladást) az un. "eredmény" függvénnyel írjuk le: új helyzet = eredmény(cselekvés, korábbi helyzet) és így egy hatás axióma pl.: minden s helyzetre. ~Van(tej, s) -> Van(tej, Eredmény(Vesz(tej), s)) azaz ha abban a helyzetben, amikor még nincs teje, ágens tejet vásárol, akkor a vásárlás utáni helyzetben lesz már teje.