본 연구에서는 CoLweb이라 불리는 알고리즘 언어에 해당하는, 새로운 알고리즘의 정의를 제시한다. CoLweb[1]의 장점은 알고리즘 설계를 매우 유연하게 만든다는 데 있다. 즉, 비분산 컴퓨팅과 분산 컴퓨팅 모두에 대해 알고리즘 설계를 고수준의 증명-수반(proof-carrying), 분산형(distributed-style) 접근으로 강제한다. 우리는 이러한 접근이 알고리즘 설계를 단순화한다고 주장한다. 또한 재귀적 논리/함수형 알고리즘, 명령형 알고리즘, 객체지향 명령형 알고리즘, 신경망(neural-nets), 인터랙션 넷(interaction nets), 증명-수반 코드(proof-carrying code) 등 다른 접근들을 통합한다. 응용의 한 예로, 우리는 혼 절(Horn clause) 정의를 두 종류로 정교화한다: 맹목적 전칭-양화(blind-universally-quantified, BUQ) 정의와 병렬 전칭-양화(parallel-universally-quantified, PUQ) 정의이다. BUQ 정의는 지식기반이 확장되지 않으며 그 증명 절차가 역방향 체이닝(backward chaining)에 기반하는 Prolog에서의 전통적 정의에 해당한다. 반면 PUQ 정의에서는 지식기반이 되고, 그 증명 절차가 순방향 체이닝(forward chaining)과 { it automatic memoization}을 도출한다.
*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.