Computability-logic web: an alternative to deep learning
arXiv:2101.09222
Abstract
{\em 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 specific, 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.
9 pages. We discuss an approach to reaching general AI. arXiv admin note: text overlap with arXiv:2010.08925, arXiv:1909.07036; substantial text overlap with arXiv:0712.1345 by other authors