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 binariase utiliza para concatenar los términos que representan hechos que se mantienen en una situación. Por ejemplo, que la caja está sobre la mesa en la situación está representado por 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 eliminó el término . Axiomas que especifican que es conmutativo y no idempotente son necesarios para que tales axiomas funcionen.
Ver también
Referencias
- M. Thielscher (1998). Introducción al cálculo fluido . Transacciones electrónicas sobre inteligencia artificial , 2 (3-4): 179-192.
- M. Thielscher (2005). Robots de razonamiento: el arte y la ciencia de programar agentes robóticos . Volumen 33 de la serie de lógica aplicada. Springer, Dordrecht.