[논문 리뷰] Characterizing the Set of Coherent Lower Previsions with a Finite Number of Constraints or Vertices

Erik Quaeghebeur|arXiv (Cornell University)|2012. 03. 15.

Bayesian Modeling and Causal Inference참고 문헌 14인용 수 5

한 줄 요약

이 논문은 기존의 무한한 형태로 표현되는 하한 선별성 기준을 유한한 선형 제약 조건의 집합으로 재구성함으로써, 하한 선별성의 효율적 계산을 가능하게 한다. 이는 볼록 다면체의 꼭짓점으로서 일관된 하한 선별성을 계산할 수 있도록 한다. 주요 기여는 유한한 가능성 공간 위의 유한한 베판 집합에 대해 이러한 극단적인 일관된 하한 선별성을 계산하는 실용적인 알고리즘을 제공하는 것이다.

ABSTRACT

The standard coherence criterion for lower previsions is expressed using an infinite number of linear constraints. For lower previsions that are essentially defined on some finite set of gambles on a finite possibility space, we present a reformulation of this criterion that only uses a finite number of constraints. Any such lower prevision is coherent if it lies within the convex polytope defined by these constraints. The vertices of this polytope are the extreme coherent lower previsions for the given set of gambles. Our reformulation makes it possible to compute them. We show how this is done and illustrate the procedure and its results.

연구 동기 및 목표

• 표준 기준에서 기인하는 무한한 제약 조건으로 인해 하한 선별성의 일관성 검증이 계산적으로 비가능한 문제를 해결하기 위해.
• 유한한 가능성 공간 위의 유한한 베판 집합에 대해 일관된 하한 선별성을 유한하고 계산 가능하게 특성화하기 위해.
• 이를 통해 볼록 다면체의 꼭짓점으로서 극단적인 일관된 하한 선별성을 명시적으로 계산할 수 있도록 하기 위해.
• 주어진 유한 차원의 베판 공간 내에서 모든 일관된 하한 선별성을 식별하는 실용적인 방법을 제공하기 위해.

제안 방법

• 기존에 무한한 선형 부등식을 포함하는 표준 일관성 기준을, 동치인 유한한 선형 제약 조건의 집합으로 재구성하기 위해.
• 이러한 유한한 제약 조건으로 정의된 볼록 다면체로 일관된 하한 선별성의 집합을 표현하기 위해.
• 이 다면체의 꼭짓점을 주어진 베판 집합에 대한 극단적인 일관된 하한 선별성으로 식별하기 위해.
• 선형 프로그래밍 기법을 사용하여 다면체의 꼭짓점을 계산함으로써, 모든 극단적인 일관된 하한 선별성을 열거하기 위해.
• 구체적인 예제에 이 방법을 적용하여 그 타당성과 정확성을 입증하기 위해.

실험 결과

연구 질문

• RQ1 하한 선별성의 일관성에 요구되는 무한한 제약 조건 집합을 유한하고 계산 가능한 체계로 줄일 수 있는가?
• RQ2 주어진 유한 차원 공간에서 모든 일관된 하한 선별성의 집합을 볼록 다면체로 어떻게 특성화할 수 있는가?
• RQ3 이 다면체의 꼭짓점을 식별하는 계산 절차는 무엇이며, 이는 극단적인 일관된 하한 선별성에 해당하는가?
• RQ4 이 재구성은 불확실한 확률론 및 의사결정 문제에 실용적으로 어떻게 적용될 수 있는가?

주요 결과

• 유한한 가능성 공간 위의 유한한 베판 집합에 대해 일관된 하한 선별성의 집합은 유한한 수의 선형 제약 조건으로 정의된 볼록 다면체를 이룬다.
• 모든 극단적인 일관된 하한 선별성은 정확히 이 다면체의 꼭짓점에 해당한다.
• 이 방법을 통해 표준 선형 프로그래밍의 꼭짓점 찾기 알고리즘을 사용하여 이러한 극단적인 하한 선별성을 명시적으로 계산할 수 있다.
• 재구성 덕분에 일관된 하한 선별성의 검증과 열거가 효율적으로 가능해졌으며, 무한히 많은 제약 조건을 확인하는 데서 비가능한 문제를 해결할 수 있게 되었다.