사회적 언약

서로 명령할 수 없는 자율 에이전트들이 어떻게 협력을 보증하는가. 싱의 답은 에이전트의 내면이 아니라 공적 관계를 보자는 것이었다. 믿음과 의도는 바깥에서 검증할 수 없지만, 누가 누구에게 무엇을 빚졌는지는 공동체가 함께 참조할 수 있는 사실이다. 그래서 언약을 C(x, y, p)로 적는다 — 채무자 x가 채권자 y에게 내용 p를 빚진다. 방향이 있고, 두 당사자가 있고, 내용이 있다.

이 형식화의 실질은 여섯 연산이다. 생성(create)과 이행(discharge)이 언약의 정상 수명이고, 취소(cancel)는 채무자가, 해제(release)는 채권자가 그 수명을 중단시킨다. 나머지 둘이 흥미로운데, 이관(delegate)은 채무자를 다른 에이전트로 바꾸고 양도(assign)는 채권자를 바꾼다. 앞의 넷은 두 당사자 사이의 연산이지만 뒤의 둘은 셋째 당사자가 필요하다. 민법이 채무 인수와 채권 양도로 다루는 것이 그대로 연산 목록에 들어와 있고, 업무를 다른 사람에게 넘기는 일상적 행위도 정확히 이 연산이다.

싱이 이 논문에 붙인 부제는 “규범 개념의 통일을 향하여”다. 의무, 금기, 관습, 서약이 전부 언약의 변형으로 환원된다는 주장이고, 호펠드의 상관쌍이 법률관계에서 한 일을 계산 모델에서 반복한 것이다. 채무와 채권을 별개로 저장하는 대신 하나의 객체에 두 당사자를 담았으니, 한쪽만 기록되고 반대쪽이 사라지는 사태가 자료구조 수준에서 불가능해진다.

후속 연구의 관심사가 바로 그 정합이다. 언약이 여러 시스템에 흩어져 기록될 때 채무자의 장부와 채권자의 장부가 어긋나지 않게 유지하는 조건을 다루는데, 이것은 분산 시스템의 언어로 옮겨 적은 대사(照合) 문제다.