sGLP: 사람을 시뮬레이션하는 확률적 에이전트 명세화

풀뿌리 플랫폼(Grassroots platforms)은 참여자들에 의해 소유되고 운영되며 통제되도록 설계되었으며, 따라서 참여자의 스마트폰에서 실행되는 사람 대 사람(person-to-person) 스마트폰 앱으로 구성됩니다. 풀뿌리 앱은 풀뿌리 사회 계약(grassroots social contract)을 사용하여 명세화되며, 이는 추상화 캐스케이드(abstraction cascade)를 통해 다중 에이전트 동시 논리 프로그래밍 언어인 의지 보호형 풀뿌리 논리 프로그램(volition-guarded Grassroots Logic Program, vGLP)으로 컴파일됩니다. vGLP 프로그램은 다시 사람들이 자신의 의지를 표현하고 앱을 제어하는 스마트폰 UI를 명세합니다. 신중함(Prudence)은 풀뿌리 플랫폼이 배포되기 전에 대규모 평가와 테스트를 요구하지만, 이를 수행하는 데 필요한 많은 사람들을 이용한다는 것은 모순입니다. 따라서 또 다른 해결책이 필요합니다. 본 논문에서는 풀뿌리 플랫폼을 배치하는 vGLP 프로그램으로부터 확률적 에이전트를 사용하여 대규모로 시뮬레이션할 수 있도록 설계된 확률적 GLP(stochastic GLP, sGLP)를 제시합니다. sGLP는 확률적 행동을 명세하기 위한 비율 확장(rate extension)이 추가된 GLP입니다. 확률적 에이전트는 vGLP UI와 그 뒤에 있는 사람 모두를 대체하는 sGLP 프로그램입니다. 이는 UI의 상호작용 타입(interactive type)의 쌍대(dual)로 타입 지정되며, 한 사람 행동의 확률적 프로필을 명세합니다. 우리는 네 가지 확률적 프로필—동성애자 또는 무관심한, 경계심이 많은 또는 사교적인—을 가진 남성과 여성 인구와 네 가지 프로필—지출가 또는 저축가, 신중한 또는 관대한—을 가진 풀뿌리 통화(grassroots currencies)에 sGLP를 시연하고, 이러한 프로필의 조합이 형성되는 사회 그래프와 순환하는 통화에 어떤 영향을 미치는지 보고합니다. 우리는 sGLP 에이전트가 UI와 그 뒤의 사람들을 대체하는 vGLP 프로그램의 모든 실행은 vGLP 실행임을 증명합니다. 우리는 Gillespie의 방법을 사용하여 GLP에 sGLP를 구현하고, 이를 이용해 재현 가능한 시뮬레이션을 수행했습니다.