[논문 리뷰] Strategies with Parallel Causes

Marc de Visme, Glynn Winskel|arXiv (Cornell University)|2016. 07. 13.

Advanced Database Systems and Queries인용 수 3

한 줄 요약

이 논문은 병행 원인을 가진 확률적 분산 게임을 모델링하기 위해 복제 및 인과성(복제 및 인과성, edc) 전략을 도입한다. 여기서 단일 수가 다수의 독립적인 사건에 의해 유도될 수 있다. 이는 전통적인 사건 구조를 확장하여 확률적 독립성, 숨기기, 병합을 지원함으로써 정확히 승리 전략을 모델링할 수 있는 확률적 전략의 이항범주를 가능하게 한다. 이는 이전 모델에서 충돌하는 사건들이 비최적의 확률 할당을 유도하는 한계를 해결한다.

ABSTRACT

In a distributed game we imagine a team Player engaging a team Opponent in a distributed fashion. Such games and their strategies have been formalised in concurrent games based on event structures. However there are limitations in founding strategies on traditional event structures. Sometimes a probabilistic distributed strategy relies on certain benign races where, intuitively, several members of team Player may race each other to make a common move. Although there are event structures which support such parallel causes, in which an event is enabled in several compatible ways, they do not support an operation of hiding central to the composition of strategies; nor do they support probability adequately. An extension of traditional event structures is devised which supports parallel causes and hiding, as well as the mix of probability and nondeterminism needed to account for probabilistic distributed strategies. The extension is tested in the construction of a bicategory of probabilistic distributed strategies with parallel causes. The bicategory is rich in operations relevant to probabilistic as well as deterministic parallel programming.

연구 동기 및 목표

• 단일 수가 다수의 독립적인 사건(병행 원인)에 의해 인과적으로 유도될 수 있는 전략을 모델링하는 데 있어 전통적인 사건 구조의 한계를 해결하기 위해.
• 사건 간에 충돌이 있을 경우에도 확률적 독립성(제한된 마르코프 조건을 통해)을 보장할 수 있는 형식적 체계를 개발하기 위해.
• 확률적 및 인과적 구조를 유지하는 방식으로 전략의 숨기기와 병합을 지원하기 위해.
• 확률적 및 결정론적 병행 프로그래밍에 모두 관련된 연산을 지원하는 확률적 분산 전략의 이항범주를 구성하기 위해.

제안 방법

• 복제 및 인과성(복제 및 인과성, edc) 사건 구조를 도입하여 기존 사건 구조를 확장함으로써 병행 원인과 호환 가능한 사건의 활성화를 허용한다.
• edc 사건 구조를 기반으로 하는 새로운 전략 클래스를 정의하여 확률적 합, 병합, 그리고 결합을 지원한다.
• 호환 조건을 반영하는 복제개미(term)를 도입하여 인과적 연결을 가능하게 하고, λ-추상화 및 접두사 연산을 포함한다.
• 전략의 재귀적 정의를 가능하게 하는 복제 전략 δA를 개발하며, 상대방에 대해 결정론적 게임일 경우 결정론적 동작을 보장한다.
• 하한 원소를 가진 완전한 부분순서를 사용하여 고정점 의미론을 통해 재귀 전략을 정의한다.
• 인과적으로 독립적인 이동이 전략 모델에서 확률적으로도 독립적으로 유지되도록 보장하기 위해 제한된 마르코프 조건을 적용한다.

실험 결과

연구 질문

• RQ1 어떻게 사건 구조가 다수의 독립적이고 동시적인 원인에 의해 유도되는 전략을 모델링할 수 있는가?
• RQ2 충돌이 발생할 경우에도 제한된 마르코프 조건을 유지하면서 확률적 전략을 병합할 수 있는가? 이는 인과적으로 독립적인 사건이 확률적으로도 독립적으로 유지됨을 보장한다.
• RQ3 병행 원인과 확률적 선택을 허용하는 모델에서 숨기기와 병합을 어떻게 지원할 수 있는가?
• RQ4 확률적 독립성과 대체 트리거 간의 충돌을 모두 지원하기 위해 사건 구조에 어떤 구조적 확장을 도입해야 하는가?
• RQ5 재귀, 복제, 병행 병합과 같은 풍부한 연산을 지원하는 확률적 전략의 이항범주를 구성할 수 있는가?

주요 결과

• 논문은 병행 원인을 가진 확률적 분산 전략의 이항범주를 성공적으로 구성하여 이전 모델에서 비최적의 확률 할당 문제가 해결됨을 보였다.
• 병행 원인을 허용함으로써, 다수의 감시자가 독립적으로 한 번의 수를 유도하는 전략을 정확히 모델링할 수 있었으며, 제한된 마르코프 조건이 요구하는 대로 확률적 독립성을 유지하였다.
• 게임이 상대방에 대해 결정론적일 경우 복제 전략 δA는 결정론적 동작을 보이며, 병합에서의 결합법칙을 보장한다.
• 모델은 확률적 합, 결합, 병합을 지원하여 확률적 및 결정론적 병행 프로그래밍을 위한 풍부한 프레임워크를 제공한다.
• 숨기기, 확률적 독립성, 병합을 지원하면서 충돌하는 사건 구조를 강제하지 않는다는 점에서 이전 모델을 일반화한다.
• 병행 유도가 충돌 없이 가능하므로, 단일 수가 확률적 신뢰성에도 불구하고 확실하게 승리하는 '두 감시자 게임'과 같은 전략을 정확히 모델링할 수 있다.