[논문 리뷰] Bridging Utility Maximization and Regret Minimization

Alessandro Chiesa, Silvio Micali외 1명|arXiv (Cornell University)|2014. 03. 25.

Auction Theory and Applications참고 문헌 13인용 수 5

한 줄 요약

이 논문은 게임 이론적 전략 정련에서 유틸리티 최적화와 회한 최소화 간의 형식적 동치성을 수립한다. 어떤 순서로든 회한 최소화와 유틸리티 최적화 연산자를 적용할 경우, 동일한 전략 집합—구체적으로 최종 회한 최소 전략 집합과 지배당하지 않는 전략 집합의 교집합—으로 수렴함을 증명함으로써, 의사결정에서 두 개별 합리성 모델을 통합한다.

ABSTRACT

We relate the strategy sets that a player ends up with after refining his own strategies according to two very different models of rationality: namely, utility maximization and regret minimization.

연구 동기 및 목표

• 유틸리티 최적화와 회한 최소화라는 두 개별 합리적 의사결정 모델을 조율하는 것.
• 여러 개의 지배당하지 않는 전략 또는 회한 최소 전략이 존재할 경우 전략 선택의 모호성을 해결하는 것.
• 두 정련 과정 사이에 형식적 다리를 놓아, 반복 적용 시 동일한 결과를 도출함을 보여주는 것.
• 기계 설계의 이론적 기반을 강화하여, 다양한 합리성 모델에 대해 안정성을 확보하는 것.
• 회한 최소 전략과 지배당하지 않는 전략의 교집합이 임의의 순차적 적용에 대해 불변임을 보여주는 것.

제안 방법

• 자연의 상태에 대비하여 순수 전략 간에서 선택하는 단일 플레이어를 결정 이론 프레임워크에서 모델링한다.
• 회한을 자연의 모든 상태에서 실제 유틸리티와 최고 가능한 유틸리티 간의 최대 차이로 정의한다.
• 두 개의 연산자 도입: RM(S)는 회한 최소 전략을, UD(S)는 지배당하지 않는 전략을 나타낸다.
• RM과 UD를 어떤 순서로든 적용할 경우 RM(S) ∩ UD(S)로 수렴함을 증명하기 위해 여섯 단계의 보조정리 기반 증명을 수행한다.
• 순수 전략과 혼합 전략을 모두 고려할 경우 동일한 수렴 결과가 성립함을 보여 이를 혼합 전략으로 확장한다.
• 기계 설계에 결과를 적용하여, 어느 모델을 사용하든 사회적 선택 대응을 구현하는 기계는 다른 모델에서도 동일하게 유효함을 보여준다.

실험 결과

연구 질문

• RQ1 유틸리티 최적화와 회한 최소화는 전략 정련에서 형식적으로 통합될 수 있는가?
• RQ2 플레이어가 반복적으로 회한 최소화와 유틸리티 최적화를 적용하여 전략 집합을 정련할 경우 어떤 결과가 도출되는가?
• RQ3 회한 최소화와 유틸리티 최적화의 적용 순서가 최종 전략 집합에 영향을 미치는가?
• RQ4 두 전략 집합을 반복적으로 적용할 경우 지배당하지 않는 전략 집합과 회한 최소 전략 집합 간의 관계는 어떻게 되는가?
• RQ5 기계 설계는 플레이어가 서로 다른 합리성 모델(유틸리티 vs. 회한 최적화)을 사용할 경우에도 안정성을 확보할 수 있는가?

주요 결과

• 어떤 순서로든 회한 최소화 및 유틸리티 최적화 연산자를 적용할 경우, 수렴하는 전략 집합은 RM(S) ∩ UD(S)로 동일하며, 이는 두 모델이 정련 과정에서 실질적으로 동치임을 증명한다.
• 보조정리 RM(RM(S)) ∩ UD(S) = RM(S) ∩ UD(S)가 성립함을 보여, 반복적인 회한 최소화가 지배당하지 않는 전략과의 교집합에서 안정화됨을 입증한다.
• 두 연산자를 적어도 한 번 이상 사용하는 한, 적용 순서에 관계없이 최종 전략 집합은 동일하다.
• 지배당하지 않는 전략의 정의를 혼합 전략까지 포함하도록 확장할 경우, 결과는 순수 전략과 혼합 전략 모두에 대해 성립한다.
• 기계 설계에서, 유틸리티 최적화 또는 회한 최소화 모델을 사용하여 사회적 선택 대응을 구현하는 기계는 다른 모델에서도 동일하게 유효하다. 이는 플레이어가 둘 다를 사용하여 정련할 경우에 한하여 성립한다.
• RM(S) ∩ UD(S)는 RM 및 UD 연산자를 번갈아 적용할 경우 유일한 고정점이며, 이는 수렴성과 안정성을 보장한다.