GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI

디지털 광장: 컴퓨터가 대화하는 새로운 방식

인터넷을 거대하고 북적이는 도시라고 상상해 보세요. 현재 이 도시는 매우 다른 두 종류의 시장에 의해 운영되고 있습니다. 한쪽에는 페이스북과 같은 "독재자"들이 있습니다. 이곳에서는 하나의 거대 기업이 광장을 소유하고, 누가 말할 수 있는지를 결정하며, 모든 자원을 통제합니다. 다른 한 쪽에는 비트코인과 같은 "과두 정치인"들이 있습니다. 이곳은 가장 강력한 컴퓨터를 가진 부유한 사람들이 도시를 운영하며, 부가 권력을 결정하는 시스템을 만듭니다. 하지만 만약 제3의 길이 있다면 어떨까요? 만약 이 도시가 모든 사람에게 평등하게 속해 있고, 모든 사람이 자신만의 작은 동네를 시작할 수 있으며, 그 동네들이 중앙의 보스나 이를 운영할 부유한 엘리트 없이도 거대한 도시로 성장하고 합쳐질 수 있다면 어떨까요? 이것이 바로 "풀뿌리 플랫폼(grassroots platform)"의 꿈입니다.

이 꿈을 실현하기 위해서는 컴퓨터가 대화할 수 있는 새로운 언어가 필요합니다. 오늘의 대부분의 컴퓨터 언어는 "이것을 하고, 그다음 저것을 하라"와 같이 단일 작업자에게 주어지는 엄격한 지시 사항과 같습니다. 하지만 풀뿌리 도시는 수백만 명의 작업자(또는 에이전트)가 동시에 서로 대화하고, 비밀을 공유하며, 중앙의 보스 없이 함께 무언가를 만들어 나가야 합니다. 여기서 "동시성 논리 프로그래밍(concurrent logic programming)"이 등장합니다. 이것을 메시지를 단순히 전달하는 것이 아니라 '약속'을 전달하는 전화 놀이(telephone game)라고 생각해보세요. 당신은 "나중에 이 값을 줄게"라고 말하고, 상대방은 "내 역할을 수행하기 위해 그 값을 기다리고 있어"라고 말하는 것입니다. 만약 모두가 이 규칙을 따른다면, 플레이어들이 전 세계에 흩어져 있더라도 전체 시스템은 원활하게 작동할 수 있습니다. 커다란 질문은 항상 이것이었습니다. 이 강력하고 복잡한 사고 방식을 일반 사람들(그리고 그들의 AI 조력자들)이 사용하기에 충분히 쉽게 만들 수 있을 것인가?

풀뿌리 언어: GLP

이 논문에서 에후드 샤피로(Ehud Shapiro)는 GLP(Grassroots Logic Programs)라는 새로운 도구를 소개합니다. GLP를 수천 대의 독립적인 컴퓨터(또는 스마트폰)가 수행하는 거대한 글로벌 "점 잇기(connect-the-dots)" 게임을 위한 특별한 규칙 세트라고 생각해보세요. 목표는 누구나 작은 그룹을 시작할 수 있고, 그 그룹들이 중앙 서버나 열쇠를 쥐고 있는 부유한 소유자 없이도 자연스럽게 하나의 글로벌 커뮤니티로 성장할 수 있는 디지털 세상을 구축하는 것입니다.

논문은 GLP를 이러한 "풀뿌리" 스타일의 삶을 위해 설계된 언어로 제시합니다. 컴퓨터 과학의 옛날에는 여러 가지 일이 동시에 일어나는 것을 허용하는 언어들이 일반 프로그래머들이 이해하기에 너무 어려웠습니다. 그것들은 마치 모든 음악가가 동시에 서로 다른 악보를 읽어야 하는 교향곡 같았고, 만약 한 명이라도 박자를 놓치면 전체가 무너져 버렸습니다. GLP는 영리한 트릭인 **쌍을 이룬 변수(Paired Variables)**를 도입하여 이를 단순화합니다.

당신과 친구가 탑을 쌓고 있다고 상상해 보세요. 당신은 블록(쓰기 작업자, writer)을 가지고 있고, 친구는 그에 맞는 구멍(읽기 작업자, reader)을 가지고 있습니다. 당신은 실제로 블록을 가질 때까지 구멍에 블록을 넣을 수 없고, 친구는 블록이 준비될 때까지 구멍을 기다릴 수 없습니다. GLP에서 모든 "쓰기 작업자"는 "읽기 작업자"와 쌍을 이룹니다. 당신이 쓰기 작업자에 값을 할당하면, 그 값은 마치 마법의 배달 서비스처럼 즉시 읽기 작업자에게 전달됩니다. 이는 두 사람이 동시에 같은 블록을 할당하려고 시도하여 충돌을 일으키는 것을 방지하며, 복잡하고 다방향적인 대화를 막힘없이 처리할 수 있게 해줍니다. 논문은 이 시스템이 완벽하게 작동함을 수학적으로 증명합니다. 즉, 두 그룹의 사람들이 별개로 게임을 하다가 나중에 함께 플레이하기 시작하더라도 규칙을 깨뜨리지 않고 결합할 수 있으며, 어느 한 그룹이 혼자서는 만들 수 없었던 새로운 연결을 만들어낼 수 있다는 것입니다.

작동 방식: "콜드 콜(Cold Calls)"의 마법

논문은 GLP가 낯선 이들을 연결하는 까다로운 문제를 어떻게 처리하는지 설명합니다. 일반적인 앱에서는 친구를 찾기 위해 중앙 디렉토리가 필요합니다. GLP에서 에이전트(디지털 사람들)는 **"콜드 콜(cold calls)"**을 할 수 있습니다. 이것은 한 번도 방문해 본 적 없는 동네의 문을 두드리는 것과 같습니다. 당신은 "안녕, 나는 앨리스야, 그리고 너에게 줄 특별한 열쇠(변수)를 가지고 있어"라는 메시지를 보냅니다. 반대편에 있는 사람(밥)이 이를 수락하면, 그들은 이제 그 열쇠를 공유하게 됩니다. 갑자기 앨리시와 밥은 연결되었고, 다른 누구의 개입 없이도 직접 대화할 수 있습니다.

논문은 이 시스템이 다음의 두 가지 엄격한 기준을 충족하기 때문에 "풀뿌리"적이라고 설명합니다:

1. 독립성(Independence): 앨리스와 밥은 네트워크의 서로 분리되고 단절된 부분에 살면서도 여전히 자신의 프로그램을 완벽하게 실행할 수 있습니다. 그들은 무엇을 해야 할지 알려줄 글로벌 서버를 필요로 하지 않습니다.
2. 합병성(Coalescence): 그들이 연결하기로 결정했을 때, 그들은 세계를 매끄럽게 통합할 수 있습니다. 그들은 서로를 찰리에게 소개하여 자연스럽게 성장하는 신뢰의 사슬을 만들 수 있습니다.

저자들은 GLP를 사용하여 "소셜 그래프(Social Graph, 인맥 지도)"를 구축함으로써 이를 입증합니다. 이 시스템에서는 콜드 콜을 보냄으로써 우정을 시작하거나, 공통의 친구가 공유 채널을 전달함으로써 두 낯선 사람을 소개해 줄 수 있습니다. 일단 연결되면, 그들은 직접 텍ext 메시지를 주고받을 수 있습니다. 논문에는 이러한 상호작용이 어떻게 일어나는지를 보여주는 코드 예시가 포함되어 있으며, 시스템이 안전하고 신뢰할 수 있음을 증명합니다.

AI 혁명: 이것이 지금 중요한 이유

이 논문의 가장 흥ся진 부분은 여기 있습니다. 40년 동안, 이 강력한 "동시성 논리" 언어들은 일반 사람들이 사용하기에 너무 어려웠습니다. 그것들은 오직 소수의 전문가만이 다룰 수 있는 수준의 정신적 기교를 요구했습니다. 하지만 논문은 **인공지능(AI)**이 게임의 판도를 바꿨다고 주장합니다.

저자들은 인간과 AI가 팀으로서 협력하는 새로운 워크플로우를 설명합니다. 인간은 "친구들이 서로를 소개할 수 있는 소셜 네트워크를 원한다"와 같은 고차원적인 아이디어(명세, specification)를 제공합니다. 그러면 AI가 이 아이디어를 가져가서 복잡한 GLP 코드를 작성하고, 오류를 체크하며, 심지어 버그를 수정합니다. 논문은 AI가 이 작업에 매우 뛰어나다는 것을 보여줍니다. AI는 수학적 명세를 스마트폰과 컴퓨터를 위한 작동하는 코드로 번역할 수 있습니다. 실제로 저자들은 AI가 이러한 아이디어에 기반한 소셜 그래프, 통화, 보안 복구 시스템의 구현을 구축하는 데 이미 도움을 주었다고 언급합니다.

논문은 AI가 "하이퍼 프로그래머(hyper-programmer)" 역할을 함으로써, 이 강력한 언어들에 대한 진입 장벽이 사라졌다고 제안합니다. 우리는 마침내 동시성 논리 프로그래밍의 추상적이고 표현력 있는 힘을 사용하여 진정으로 민주적이고 풀뿌리적인 디지털 세상을 구축할 수 있습니다. 이 논문은 세상의 모든 문제를 해결했다고 주장하는 것이 아니라, 공정하고 분산화되며 확장 가능한 디지털 미래가 가능하다는 수학적 증명과 작동하는 도구를 제공하며, AI가 그것을 여는 열쇠임을 보여줍니다.