Computability-logic web: an alternative to deep learning

Computability logic (CoL) is a powerful, mathematically rigorous computational model. In this paper, we show that CoL-web, a web extension to CoL, naturally supports web programming where database updates are involved. To be speciﬁc, we discuss an implementation of the AI ATM based on CoL ( CL9 to be exact). More importantly, we argue that CoL-web supports a general AI and, therefore, is a good alternative to neural nets and deep learning. We also discuss how to integrate neural nets into CoL-web.

cs.AI cs.DC Computer Science Mathematics

Paper

Similar papers

Implementing Agent-Based Systems via Computability Logic CL2Keehang Kwon2020 · arXiv (Cornell University) In Library

COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation SystemJipeng Han2023 · arXiv (Cornell University) In Library

NeuralLog: a Neural Logic LanguageVictor Guimarães, Vı́tor Santos Costa2021 · arXiv (Cornell University) In Library

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL RegulationJipeng Han2024 · 0 citations In Library

Computational Logic for Biomedicine and NeurosciencesElisabetta De Maria, Joëlle Despeyroux, Amy Felty et al.2020 · arXiv (Cornell University) In Library

Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic TechniquesAndrea Rafanelli2023 · Electronic Proceedings in Theoretical Computer Science In Library

Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic TechniquesAndrea Rafanelli2023 · International Conference on Logic Programming · 1 citation In Library

Vis-CoT: A Human-in-the-Loop Framework for Interactive Visualization and Intervention in LLM Chain-of-Thought ReasoningKaviraj Pather, Hadjigeorgiou, Elena, Arben Krasniqi et al.2025 · arXiv (Cornell University) · 0 citations In Library

Cloud Logic Programming for Integrating Language Technology ResourcesMarkus Forsberg, Torbjörn Lager2012 · International Conference on Language Resources and Evaluation · 1 citation In Library

CALM: Contextual Analog Logic with MultimodalityMaxwell J. Jacobson, Corey J. Maley, Yexiang Xue2025 · arXiv (Cornell University) In Library

Source of record

arXiv

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal