[논문 리뷰] A Framework for Fair Decision-making Over Time with Time-invariant Utilities

Lodi, Andrea, Sankaranarayanan, Sriram외 1명|arXiv (Cornell University)|2022. 12. 20.

Sustainable Supply Chain Management인용 수 2

한 줄 요약

이 논문은 시간에 따라 변화하는 이해관계자들의 유용성을 시간에 종속되지 않는 함수를 통해 종합하는 다기로 반복되는 의사결정 문제에 대한 수학적 프로그래밍 프레임워크를 제안한다. 대칭성 감소를 위한 재구성과 행 및 열을 동시에 생성하는 방법을 통해 해결 가능한 타협 가능한 해를 효율적으로 계산할 수 있도록 하여 TSP나 응급차 배치와 같은 반복적 의사결정 문제에서 공정하고 고성능의 해를 도출할 수 있다.

ABSTRACT

Fairness is a major concern in contemporary decision problems. In these situations, the objective is to maximize fairness while preserving the efficacy of the underlying decision-making problem. This paper examines repeated decisions on problems involving multiple stakeholders and a central decision maker. Repetition of the decision-making provides additional opportunities to promote fairness while increasing the complexity from symmetry to finding solutions. This paper presents a general mathematical programming framework for the proposed fairness-over-time (FOT) decision-making problem. The framework includes a natural abstraction of how a stakeholder's acquired utilities can be aggregated over time. In contrast with a natural, descriptive formulation, we demonstrate that if the aggregation function possesses certain basic properties, a strong reformulation can be written to remove symmetry from the problem, making it amenable to branch-and-cut solvers. Finally, we propose a particular relaxation of this reformulation that can assist in the construction of high-quality approximate solutions to the original problem and can be solved using simultaneous row and column generation techniques.

연구 동기 및 목표

• 여러 이해관계자와 중앙 의사결정자가 참여하는 반복적 의사결정 문제에서의 공정성 문제를 다루기.
• 기존의 공정한 자원 배분 모델을 자원 배분을 초월한 더 넓은 의사결정 문제, 예를 들어 TSP나 응급차 배치 문제로 일반화하기.
• 시간에 따라 변화하는 유용성의 종합을 모델링하면서도 공정성과 효율성을 유지하는 수학적 프로그래밍 프레임워크 개발하기.
• 분석기의 성능 향상을 위해 제약 조건의 대칭성을 줄이기 위한 재구성 기법 적용하기.
• 공정성 평가와 최적화를 분리하는 허용 기법을 제안하여 공정성과 해의 품질에 대한 통찰을 확보하기.

제안 방법

• 스테이크홀더들의 시간에 따라 변화하는 유용성을 종합하기 위해 일반적인 종합 함수 ϑ를 사용하여 시간에 따른 공정성(FOT) 문제를 수식화하기.
• 각 기간에서 주어진 의사결정을 선택할 확률을 표현하는 변수를 재정의함으로써 대칭성을 제거하는 확률 동치 재구성 도입하기.
• 종합 함수의 성질(예: 단조성, 연속성)을 활용하여 대칭적 해를 제거하는 강력한 재구성 기법 적용하기.
• 확률 동치 재구성의 허용을 제안하여 공정성 평가를 최적화에서 분리함으로써, 타당한 해 집합(예: TSP 순환)에 대한 열 생성을 가능하게 하기.
• 이중 행 및 열 생성 기법을 사용하여 풀린 마스터 문제를 해결하며, 가격 설정 하위문제를 통해 공정하고 효율적인 해를 생성하기.
• 각 이해관계자가 다른 종합 함수 ϑi를 사용할 경우에도 적용 가능한 일반화된 재구성 접근법을 통해 프레임워크의 적용 가능성을 유지하기.

실험 결과

연구 질문

• RQ1 자원을 개인에게 할당하지 않는 반복적 의사결정 문제에서 공정성을 의미 있게 모델링할 수 있는 방법은 무엇인가?
• RQ2 다기로 반복되는 공정한 의사결정 문제에서 대칭성을 줄이기 위한 수학적 재구성 기법은 무엇인가?
• RQ3 재구성된 문제의 허용이 높은 공정성을 달성하기 위해 필요한 의사결정 라운드 수에 대한 깊은 통찰을 제공할 수 있는가?
• RQ4 공정성 평가와 해 최적화를 분리함으로써 계산의 가능성을 얼마나 향상시킬 수 있는가?
• RQ5 공정성 인식 최적화 프레임워크에서 파레토 열 劣해를 피하거나 명시적으로 제거할 수 있는 방법은 무엇인가?

주요 결과

• 제안된 프레임워크는 자원 배분을 초월해 TSP나 응급차 배치와 같이 시기와 위치에 따라 유용성이 달라지는 문제로 공정한 의사결정을 일반화한다.
• 기본 성질(예: 단조성)을 갖는 시간에 종속되지 않는 종합 함수를 가정함으로써, 대칭성을 제거하는 강력한 재구성 기법을 적용하여 해석기 성능을 크게 향상시킬 수 있다.
• 확률 동치 재구성의 허용은 공정성 평가를 최적화에서 분리할 수 있게 하여, TSP 순환과 같은 타당한 해 집합에 대한 효율적인 열 생성을 가능하게 한다.
• 풀린 문제를 해결함으로써 높은 공정성을 달성하기 위해 필요한 의사결정 라운드 수에 대한 통찰을 제공하며, 완벽한 공정성은 단일 라운드 설정에서는 달성 불가능하지만 다기로 반복되는 설정에서는 가능함을 보여준다.
• 프레임워크는 이해관계자 간 동일한 종합 함수뿐 아니라 이질적인 종합 함수를 모두 지원하며, 이론적 및 계산적 타당성을 유지한다.
• 종합 함수가 혼합정수선형형태로 표현 가능한 경우, 이중 행 및 열 생성을 통해 고성능의 근사해를 구성할 수 있다.