Situation Calculus

On the Size Complexity and Decidability of First-Order Progression

Este artigo investiga a complexidade de tamanho e a decidibilidade da progressão de primeira ordem, um método para atualizar bases de conhecimento em IA. Ele demonstra que, para classes de ações específicas dentro da estrutura do Cálculo de Situações, a progressão de primeira ordem cresce polinomialmente e mantém a decidibilidade ao usar certos fragmentos de base de conhecimento.