그라스루츠 논리 프로그램 다중 에이전트 동시 로직 언어

초록

GLP는 전통 논리 프로그램에 독자적인 읽기·쓰기 변수 쌍, 단일 등장(SO) 및 단일 읽기·쓰기(SRSW) 제약을 추가해 동시성과 분산성을 보장하는 언어이다. 단일 에이전트 버전과 다중 에이전트 버전(maGLP)을 정의하고, 원자 트랜잭션 기반 전이 시스템을 통해 Grassroots 플랫폼 특성을 증명한다. 사회적 그래프 구현 예시와 AI 기반 구현 로드맵을 제시한다.

상세 분석

이 논문은 기존 논리 프로그래밍(LP)의 연산 의미를 보존하면서도, 분산 환경에서 독립적·자율적인 인스턴스가 네트워크 외의 전역 자원을 필요로 하지 않도록 설계된 새로운 언어 GLP를 제안한다. 핵심 설계는 ‘writer‑reader’ 변수 쌍이다. 각 변수 X는 쓰기 전용 writer X와 읽기 전용 reader X? 로 구성되며, writer는 한 번만 값을 할당(프라미스)하고 reader는 그 값을 한 번만 소비(퓨처)한다. 이는 선형 논리의 자원 사용 제한과 미래값(Future/Promise) 메커니즘을 동시에 구현한다는 점에서 혁신적이다.

GLP는 세 가지 제약을 추가한다. 첫째, Single‑Occurrence(SO) 규칙으로 목표와 절에 동일 변수(또는 그 쌍)가 두 번 이상 등장하지 않게 하여 변수 충돌을 원천 차단한다. 둘째, Single‑Reader Single‑Writer(SRSW) 규칙으로 절에 writer가 등장하면 반드시 그에 대응하는 reader도 함께 등장하도록 강제한다. 셋째, 읽기·쓰기 쌍을 이용한 통신 규칙(Communicate)을 도입해, writer가 할당한 값을 reader에게 비동기적으로 전달한다. 이러한 제약은 전통적인 통일(Unification) 대신 단순한 용어 매칭(term matching)을 가능하게 하며, 연산의 결정성을 높인다.

연산 의미는 전이 시스템으로 정의된다. ‘Reduce’ 전이는 writer‑mgu를 이용해 목표를 절과 매칭하고, ‘Communicate’ 전이는 reader substitution을 통해 할당값을 전파한다. 논문은 GLP가 LP와 동일한 논리적 귀결(logical consequence)을 유지함을 증명하고, SO와 단조성(monotonicity) 보존을 통해 실행 도중 새로운 할당이 기존 목표를 파괴하지 않음을 보인다. 또한 전이 시스템이 영속(persistent)하고 공정(fair)하게 동작하도록 정의함으로써, 분산 환경에서 트랜잭션이 중단 없이 진행될 수 있음을 보장한다.

다중 에이전트 확장(maGLP)은 기존 전이 시스템에 원자 트랜잭션을 도입한다. 각 에이전트는 고유 이름을 갖고, 로컬 writer‑reader 쌍을 통해 외부와 통신한다. ‘Cold‑call’ 메커니즘은 변수 쌍을 원격 에이전트에 전달하면서도 로컬에서 그 쌍을 유지하도록 설계돼, 네트워크가 분리된 두 컴포넌트가 동일 변수에 대한 소유권을 공유하게 만든다. 이를 통해 사회적 그래프와 같은 인프라 플랫폼을 완전한 피어‑투‑피어 형태로 구현할 수 있다.

Grassroots 특성은 ‘독립적 인스턴스가 전역 자원 없이 동작하고, 필요 시 합쳐져 단일 전역 인스턴스를 형성한다’는 정의에 기반한다. 논문은 원자 트랜잭션 기반 전이 시스템이 이러한 특성을 만족함을 정리하고, maGLP가 Grassroots 플랫폼의 형식적 요건을 충족함을 증명한다.

마지막으로 구현 로드맵을 제시한다. 단일 에이전트 GLP는 워크스테이션 기반 인터프리터로 구현되었으며, 다중 에이전트 버전은 스마트폰 피어‑투‑피어 네트워크 위에 AI가 자동으로 배포·운영하도록 설계되었다. 또한 변수 쌍과 트랜잭션을 타입 시스템에 반영한 모드형(type‑moded) 시스템을 도입해 인간·AI 설계자가 프로그램을 안전하게 기술하도록 지원한다. 전체적으로 논문은 이론적 기반, 언어 설계, 구현 전략, 그리고 실제 응용 사례를 일관되게 연결함으로써, 차세대 분산 협업 플랫폼의 토대를 제공한다.