[논문 리뷰] What is a Joint Goal? Games with Beliefs and Defeasible Desires

Mehdi Dastani, Leendert van der Torre|ArXiv.org|2002. 07. 07.

Game Theory and Applications참고 문헌 12인용 수 5

한 줄 요약

이 논문은 믿음(B)과 욕망(D) 규칙에 기반한 정성적 의사결정 이론 및 게임 이론을 제안하며, 개인은 목표 달성을 마치 최적화하는 것처럼 행동하고, 균형 상태에 있는 집단은 공동 목표를 마치 최적화하는 것처럼 행동함을 보여준다. 핵심 기여는 타당한 의사결정을 목표 집합과 연결하는 형식적 표현 정리로, 가소성 있는 욕망 규칙과 비가소성 있는 믿음 규칙을 통해 개인과 집단의 의사결정을 통합한다.

ABSTRACT

In this paper we introduce a qualitative decision and game theory based on belief (B) and desire (D) rules. We show that a group of agents acts as if it is maximizing achieved joint goals.

연구 동기 및 목표

• 개인 의사결정 이론과 집단 수준의 균형 상태 사이의 마이크로-마크로 이분법을 해소하기 위해 개인 의사결정과 집단 수준의 균형을 통합한다.
• 유용성 최적화가 아니라 개인의 믿음과 욕망에서 유도된 공동 목표의 추구를 통해 집단 의사결정을 형식화한다.
• 개인 합리적 에이전트와 균형 상태에 있는 집단이 모두 목표 달성을 마치 최적화하는 것처럼 행동함을 보여주기 위해 규칙 기반 프레임워크를 사용한다.
• 가소성 있는 욕망 규칙과 비가소성 있는 믿음 규칙을 사용하여 다중 에이전트 시스템에서 공동 목표의 논리적 기반을 제공한다.
• 집단적 맥락에서 타당한 의사결정이 목표 집합의 해로 표현될 수 있음을 보이며, 균형과 최적화에 대한 새로운 시각을 제공한다.

제안 방법

• 논문은 믿음 규칙(B), 욕망 규칙(D), 선호 순서(≥), 그리고 초기 의사결정 상태(δ⁰)를 포함한 에이전트 시스템 사양을 도입한다.
• 믿음과 욕망을 사용하여 추론 가능한 결과를 도출하기 위해 믿음 확장 연산자 E_B∪D(F ∪ δ⁰)를 정의한다.
• 의사결정 프로파일 δ는 믿음 및 욕망 규칙에서 유도된 공식에 기반해 양의 목표(G⁺)를 달성하고 음의 목표(G⁻)를 피하는 경우 ⟨G⁺, G⁻⟩-의사결정으로 간주된다.
• 유용성 기반 선택에 대해 일관성과 닫힘을 보장하는 U-폐쇄된 타당한 의사결정 집합의 개념을 통해 타당한 공동 목표 집합을 정의할 수 있다.
• 표현 정리는 타당한 의사결정 프로파일과 공동 목표 집합(⟨G⁺, G⁻⟩) 사이의 일대일 대응을 수립하며, 모든 타당한 의사결정이 특정 목표 집합과 대응되고 그 반대도 성립함을 보여준다.
• 모달 논리 대신 규칙 기반 형식 체계를 사용함으로써 실용적 조건부 추론을 의사결정에 더 잘 모델링할 수 있다.

실험 결과

연구 질문

• RQ1 믿음과 욕망에 기반한 개인 의사결정이 다중 에이전트 시스템에서 집단 수준의 균형 상태와 어떻게 형식적으로 연결될 수 있는가?
• RQ2 개인의 합리성과 집단의 균형 행동을 모두 반영할 수 있는 방식으로 공동 목표를 정의할 수 있는가?
• RQ3 다중 에이전트 맥락에서 타당한 의사결정과 목표 집합 사이의 형식적 관계는 무엇인가?
• RQ4 가소성 있는 욕망 규칙과 비가소성 있는 믿음 규칙을 어떻게 조합하여 유망한 사고를 피하면서 실용적 추론을 모델링할 수 있는가?
• RQ5 클래식한 게임 이론 개념인 파레토 효율성과 내쉬 균형은 목표 달성의 관점에서 어떻게 재해석될 수 있는가?

주요 결과

• 논문은 타당한 의사결정 프로파일 δ가 어떤 공동 목표 집합 ⟨G⁺, G⁻⟩에 대해 ⟨G⁺, G⁻⟩-의사결정이 되는 것과 동치임을 보여주는 표현 정리를 수립한다.
• 의사결정의 U-폐쇄 집합에 속하는 모든 타당한 의사결정 프로파일은 목표 집합의 해로 표현될 수 있으며, 이는 의사결정이 목표 추구와 동치임을 보여준다.
• 균형 상태에 있는 에이전트 집단은 명시적 조율 없이도 유도된 목표 집합에 의사결정을 맞추므로 마치 공동 목표를 최적화하는 것처럼 행동한다.
• 프레임워크는 BD 합리적 에이전트가 달성하지 못한 욕망을 최소화하므로 마치 목표 달성을 최적화하는 것처럼 행동함을 보여주며, 기대 유용성 최적화의 정성적 대안을 제공한다.
• 일반적으로 계산적으로 어려운 경우가 있지만, 믿음 규칙에 행동 영향이 포함되지 않는 분할에 대해서는 완전하므로 타당성 확보를 위해 히우리스틱 또는 제한된 논리 접근법이 필요하다.
• 믿음 규칙을 비가소성으로 취급하고 욕망 규칙을 가소성으로 취급함으로써 유망한 사고 문제를 피하며 실용적 추론에서 논리적 일관성을 유지한다.