Situation Calculus

On the Size Complexity and Decidability of First-Order Progression

Cet article examine la complexité de taille et la décidabilité de la progression du premier ordre, une méthode de mise à jour des bases de connaissances en IA. Il démontre que, pour des classes d'actions spécifiques au sein du cadre du Calcul des Situations, la progression du premier ordre croît polynomialement et maintient la décidabilité lors de l'utilisation de certains fragments de base de connaissances.