Fluent calculus

The fluent calculus is a formalisms for expressing dynamical domains in first order logic. It is similar to the situation calculus; the main difference is that situations are considered representations of states. A binary function symbol $\circ$ is used to concatenate the terms that represent facts that hold in the current situation. For example, that the box is on the table in the situation $s$ is represented by the formula $\exists t.s=on(box,table)\circ t$.

See also

• Frame problem

Reference

• M. Thielscher (1998). Introduction to the fluent calculus. Electronic Transactions on Artificial Intelligence, 2(3-4):179-192.