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
- M. Thielscher (1998). Introdução ao cálculo fluente . Transações eletrônicas em Inteligência Artificial , 2 (3-4): 179-192.
- M. Thielscher (2005). Raciocinando Robots - A arte ea ciência de programação agentes robóticos. Volume 33 da Série Logic Aplicada. Springer, Dordrecht.
Esta lógica artigo relacionados com é um esboço . Você pode ajudar a Wikipédia expandindo-o . |