Cálculo fluido

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 situaciones ; la principal diferencia es que las situaciones se consideran representaciones de estados. Un símbolo de función binaria${\displaystyle \circ }$Se utiliza para concatenar los términos que representan hechos que se dan en una situación. Por ejemplo, que la caja está sobre la mesa en la situación.${\displaystyle s}$está representado por la fórmula${\displaystyle \exists ts=on(box,table)\circ t}$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, salvo por las condiciones modificadas por dicha acción. Por ejemplo, la acción de mover la caja de la mesa al suelo se formaliza como:

${\displaystyle Estado(Hacer(mover(caja,mesa,piso),s))\circ en(caja,mesa)=Estado(s)\circ en(caja,piso)}$

Esta fórmula establece que el estado después del traslado agregó el término${\displaystyle on(box,floor)}$y eliminó el término${\displaystyle on(box,table)}$. Axiomas que especifican que${\displaystyle \circ }$La conmutatividad y la no idempotencia son necesarias para que tales axiomas funcionen.

• Fluidez (inteligencia artificial)
• Problema del marco
• Cálculo de situaciones
• Cálculo de eventos

• M. Thielscher (1998). Introducción al cálculo fluido . Electronic Transactions on Artificial Intelligence , 2(3–4):179–192.
• M. Thielscher (2005). Robots de razonamiento: el arte y la ciencia de la programación de agentes robóticos . Volumen 33 de la serie Lógica Aplicada. Springer, Dordrecht.