On the Size Complexity and Decidability of First-Order Progression

Diese Arbeit untersucht die Größenkomplexität und Entscheidbarkeit der Erstordnungs-Progression, einer Methode zur Aktualisierung von Wissensbasen in der KI. Sie zeigt, dass für spezifische Aktionsklassen innerhalb des Situationskalküls die Erstordnungs-Progression polynomisch wächst und die Entscheidbarkeit beim Verwenden bestimmter Wissensbasisfragmente beibehält.