cálculo fluente - Fluent calculus

O cálculo fluente é um formalismo para expressar domínios dinâmicos na lógica de primeira ordem . É uma variante do cálculo situação ; a principal diferença é que as situações são consideradas representações de estados. Um símbolo de função binária é usado para concatenar os termos que representam fatos que mantêm em uma situação. Por exemplo, se a caixa está na tabela na situação é representado pela fórmula . O problema quadro é resolvido por afirmar que a situação após a execução de uma ação é idêntica à anterior, mas para as condições alteradas pela ação. Por exemplo, a ação de mover a caixa da mesa para o chão é formalizada como:

Esta fórmula prevê que o estado após o movimento é adicionado o termo e removido o termo . Axiomas especificando que é comutativa e não-idempotent são necessários para esses axiomas para trabalhar.

Veja também

Referências