[논문 리뷰] Algorithmic Rationality: Game Theory with Costly Computation

Joseph Y. Halpern, Rafael Pass|arXiv (Cornell University)|2014. 12. 09.

Experimental Behavioral Economics Studies인용 수 5

한 줄 요약

이 논문은 전략적 에이전트가 비용이 드는 계산을 수행하는 방식을 유용성과 계산 복잡도 양쪽에 대해 연관지어 모델링하는 게임 이론 프레임워크를 제안한다. 이 프레임워크는 이러한 게임에서 나시 균형이 존재하지 않을 수 있음을 보여주지만, 자유로운 랜덤화와 같은 자연스러운 조건이 균형의 존재를 보장하며, 고전적 게임(예: 유한 반복 범죄자 딜레마)에서의 행동을 심리적으로 타당한 방식으로 설명한다.

ABSTRACT

We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic results (such as the existence of a Nash equilibrium) no longer hold. Nevertheless, we can use the framework to provide psychologically appealing explanations of observed behavior in well-studied games (such as finitely repeated prisoner's dilemma and rock-paper-scissors). Furthermore, we provide natural conditions on games sufficient to guarantee that equilibria exist.

연구 동기 및 목표

• 전략적 의사결정에 계산 비용을 통합하는 일반적인 게임 이론 프레임워크를 개발하는 것.
• 비용이 들지 않는 계산을 가정하는传통적 게임 이론의 한계를 해결하는 것. 이는 끝나지 않은 반복 게임에서 관찰된 행동(예: 협력)을 설명하지 못한다는 점에서 비롯된다.
• 일반적으로 균형이 존재하지 않는다는 점을 감안할 때도 계산 게임에서 나시 균형이 존재하는 조건을 규명하는 것.
• 계산 정보의 가치와 대화의 가치에 대한 공식적 설명을 제공하여, 전통적인 정보 경제학을 계산적 환경으로 확장하는 것.

제안 방법

• 에이전트를 전략이 계산 가능한 함수로 정의된 튜링 기계로 모델링하며, 유용성이 행동과 계산 복잡도(예: 실행 시간 또는 메모리 사용량) 양쪽에 의존하도록 한다.
• 기계와 그 입력 기반의 복잡도 프로파일을 정의하여, 다양한 입력에 대해 다른 계산 비용을 허용한다.
• 이 계산적 환경에서 나시 균형의 개념을 도입하며, 플레이어들이 계산 비용을 고려해 유용성을 극대화하는 기계를 선택한다.
• 기본 개념인 공개 원칙과 정보의 가치를 확장하여 계산 비용을 고려하도록 조정한다.
• 부분적인 계산 접근(예: 비밀 조합의 부분 지식)으로부터의 유용성 증가를 측정하는 계산 정보의 가치를 도입한다.
• 대화의 가치를 동적 정보 확보의 확장으로서 제안하며, 정보가 있는 관찰자와의 상호작용을 통해 계산 부담을 줄이고 유용성을 높인다.

실험 결과

연구 질문

• RQ1 비용이 드는 계산이 있는 게임에서 나시 균형이 존재하는 조건은 무엇인가?
• RQ2 비용이 드는 계산은 어떻게 끝나지 않은 반복 범죄자 딜레마에서 관찰된 행동(예: 협력)을 설명할 수 있는가?
• RQ3 부분적인 계산 정보의 가치는 무엇이며, 이는 전통적 정보 가치와 어떻게 다를까?
• RQ4 비용이 드는 계산 조건에서 대화 개념을 어떻게 형식화할 수 있으며, 이는 어떤 가치를 지닐까?
• RQ5 에피스테믹 논리가 계산 복잡도와 유용성에 대한 에이전트의 믿음을 모델링하도록 확장될 수 있는가? 이는 기계 게임에서의 해법 개념을 뒷받침하는 데 어떻게 기여할 수 있는가?

주요 결과

• 랜덤화가 비용이 들 경우, 락-페이퍼-보 게임에서 나시 균형이 존재하지 않을 수 있음을 보여주었다.
• 랜덤화가 자유이거나 계산 복잡도가 유한한 경우와 같은 자연스러운 조건에서는 나시 균형의 존재가 보장된다.
• 이 프레임워크는 끝나지 않은 반복 범죄자 딜레마에서의 협력 행동을 심리적으로 타당한 방식으로 설명한다. 이는 고비용의 배신 전략을 선택하는 것이 합리적일 수 있기 때문이다.
• 계산 정보의 가치가 공식적으로 정의되었으며, 브루트 포스 검색을 2^40에서 2^20 조합으로 줄이는 것과 같은 실용적 유용성을 반영함을 보였다.
• 대화의 가치가 동적 정보 가치의 확장으로서 도입되었으며, 정보가 있는 에이전트와의 상호작용을 통해 계산 부담을 줄이고 유용성을 높일 수 있다.
• 이 프레임워크는 계산 비용이 있을 경우 기존 게임 이론 원칙(예: 공개 원칙)이 성립하지 않음을 시사하며, 제한된 이성성 조건 하에서 기본 개념을 재고할 필요가 있음을 나타낸다.