El cálculo fluido es un formalismo para expresar dominios dinámicos en lógica de primer orden . Es una variante del cálculo de situación ; la principal diferencia es que las situaciones se consideran representaciones de estados. Un símbolo de función binaria se utiliza para concatenar los términos que representan hechos que se cumplen en una situación. Por ejemplo, que la caja esté sobre la mesa en la situación se representa mediante la fórmula . El problema del marco se resuelve afirmando que la situación después de la ejecución de una acción es idéntica a la anterior, excepto por las condiciones cambiadas por la acción. Por ejemplo, la acción de trasladar la caja de la mesa al suelo se formaliza como:
Esta fórmula establece que al estado después de la mudanza se le agrega el término y se elimina el término . Para que dichos axiomas funcionen son necesarios axiomas que especifiquen que es conmutativo y no idempotente .
