Computational logic

2 items

RESEARCHarXiv CS.AI·il y a 1j

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

Accelerated Fourier SAT (AFSAT) est un solveur accéléré par GPU pour la satisfiabilité pseudo-booléenne, basé sur la recherche locale continue. Il améliore considérablement la stabilité numérique, les performances d'exécution et l'efficacité de la mémoire par rapport à sa preuve de concept, en exploitant JAX pour le traitement parallèle et en résolvant les limitations de mémoire/point flottant.

SAT solver Computational logic GPU computing Optimization

RESEARCHarXiv CS.AI·il y a 26j

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.

Computational logic Situation Calculus AI Theory Automated reasoning