RESEARCHarXiv CS.AI·vor 27T
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.
27