Флуентни рачун

Флуентни рачун је формализам за изражавање динамичких домена у логици првог реда. То је варијанта ситуационог рачуна; главна разлика је у томе што се ситуације сматрају репрезентацијама стања. Симбол бинарне функције $\circ$ се користи за спајање појмова који представљају чињенице које важе у датој ситуацији. На пример, да је кутија на столу у ситуацији $s$ представљена формулом $\exists t.s=on(box,table)\circ t$. Проблем оквира се решава тврдњом да је ситуација након извршења радње идентична оној од раније, али за услове које је радња променила. На пример, акција премештања кутије са стола на под је формализирана као:

$State(Do(move(box,table,floor),s))\circ on(box,table)=State(s)\circ on(box,floor)$

Ова формула наводи да се у стање након потеза додаје термин $on(box,floor)$ и уклоњен термин $on(box,table)$. Аксиоми који специфицирају да је $\circ$ комутативно и неидемпотентно су неопходни да би такви аксиоми функционирали.

Види још

• Ситуацијски рачун
• Рачун догађаја