Computational logic

2 items

RESEARCHarXiv CS.AI·vor 1T

Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

Accelerated Fourier SAT (AFSAT) ist ein GPU-beschleunigter Solver für die pseudo-boolesche Erfüllbarkeit, der auf kontinuierlicher lokaler Suche basiert. Er verbessert die numerische Stabilität, Laufzeitleistung und Speichereffizienz im Vergleich zum Proof-of-Concept erheblich, indem er JAX für parallele Verarbeitung nutzt und Speicher-/Gleitkomma-Einschränkungen behebt.

SAT solver Computational logic GPU computing Optimization

RESEARCHarXiv CS.AI·vor 26T

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.

Computational logic Situation Calculus AI Theory Automated reasoning