Computational logic

2 items

RESEARCHarXiv CS.AI·1d atrás

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

O Accelerated Fourier SAT (AFSAT) é um resolvedor acelerado por GPU para satisfatibilidade pseudo-booleana que utiliza busca local contínua. Ele melhora substancialmente a estabilidade numérica, o desempenho e a eficiência de memória em relação ao seu protótipo, aproveitando o JAX para processamento paralelo e superando limitações de memória/ponto flutuante.

SAT solver Computational logic GPU computing Optimization

RESEARCHarXiv CS.AI·26d atrás

On the Size Complexity and Decidability of First-Order Progression

Este artigo investiga a complexidade de tamanho e a decidibilidade da progressão de primeira ordem, um método para atualizar bases de conhecimento em IA. Ele demonstra que, para classes de ações específicas dentro da estrutura do Cálculo de Situações, a progressão de primeira ordem cresce polinomialmente e mantém a decidibilidade ao usar certos fragmentos de base de conhecimento.

Computational logic Situation Calculus AI Theory Automated reasoning