{em 계산가능성 논리} (CoL)은 강력하고 수학적으로 엄밀한 계산 모델이다. 본 논문에서는 CoL의 웹 확장인 CoL-web이 데이터베이스 갱신이 수반되는 웹 프로그래밍을 자연스럽게 지원함을 보인다. 구체적으로, CoL(정확히는 CL9)에 기반한 AI ATM의 구현을 논의한다. 더 중요하게는, CoL-web이 일반적인 AI를 지원하며, 따라서 신경망과 딥러닝에 대한 좋은 대안이 될 수 있음을 주장한다. 또한 신경망을 CoL-web에 통합하는 방법에 대해서도 논의한다.

*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.