Computational logic

2 items

RESEARCHarXiv CS.AI·hace 1d

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

Accelerated Fourier SAT (AFSAT) es un solucionador acelerado por GPU para la satisfacibilidad pseudo-booleana que emplea búsqueda local continua. Mejora sustancialmente la estabilidad numérica, el rendimiento en tiempo de ejecución y la eficiencia de la memoria sobre su prueba de concepto, utilizando JAX para el procesamiento paralelo y abordando las limitaciones de memoria/punto flotante.

SAT solver Computational logic GPU computing Optimization

RESEARCHarXiv CS.AI·hace 26d

On the Size Complexity and Decidability of First-Order Progression

Este artículo investiga la complejidad de tamaño y la decidibilidad de la progresión de primer orden, un método para actualizar bases de conocimiento en IA. Demuestra que, para clases de acciones específicas dentro del marco del Cálculo de Situaciones, la progresión de primer orden crece polinómicamente y mantiene la decidibilidad al usar ciertos fragmentos de bases de conocimiento.

Computational logic Situation Calculus AI Theory Automated reasoning