[논문 리뷰] Time-Inconsistent Planning: A Computational Problem in Behavioral Economics

Jon Kleinberg, Sigal Oren|arXiv (Cornell University)|2014. 05. 06.

Decision-Making and Behavioral Economics참고 문헌 9인용 수 26

한 줄 요약

이 논문은 행동경제학에서 시간에 따라 일관되지 않은 계획을 형식화하기 위해 그래프 이론 모델을 제안하며, 현재 편향으로 인해 최적의 경로를 따르지 않는 에이전트의 행동을 다룹니다. 이 논문은 시간에 따라 일관되지 않은 행동과 최적 행동 간의 비용 비율이 높아지기 위해서는 그래프가 큰 '유예' 구조를 소수로 포함해야 하며, 목표 달성을 위한 보다 효과적인 작업 설계를 안내하는 최소 유도 하위그래프를 특성화합니다.

ABSTRACT

In many settings, people exhibit behavior that is inconsistent across time --- we allocate a block of time to get work done and then procrastinate, or put effort into a project and then later fail to complete it. An active line of research in behavioral economics and related fields has developed and analyzed models for this type of time-inconsistent behavior. Here we propose a graph-theoretic model of tasks and goals, in which dependencies among actions are represented by a directed graph, and a time-inconsistent agent constructs a path through this graph. We first show how instances of this path-finding problem on different input graphs can reconstruct a wide range of qualitative phenomena observed in the literature on time-inconsistency, including procrastination, abandonment of long-range tasks, and the benefits of reduced sets of choices. We then explore a set of analyses that quantify over the set of all graphs; among other results, we find that in any graph, there can be only polynomially many distinct forms of time-inconsistent behavior; and any graph in which a time-inconsistent agent incurs significantly more cost than an optimal agent must contain a large "procrastination" structure as a minor. Finally, we use this graph-theoretic model to explore ways in which tasks can be designed to help motivate agents to reach designated goals.

연구 동기 및 목표

• 노드가 작업을, 간선이 의존 관계를 나타내는 방향 그래프를 사용하여 시간에 따라 일관되지 않은 행동을 작업 계획에서 모델링합니다.
• 실제 세계 현상인 유예, 장기 목표 포기, 선택 감소의 이점 등을 계산적 구조를 통해 설명합니다.
• 시간에 따라 일관되지 않은 선호에도 불구하고 목표에 도달하도록 에이전트를 유도할 수 있는 최소 그래프 구조를 특성화합니다.
• 시간에 따라 일관되지 않은 행동과 최적 행동 간의 비용 비율을 최소화하는 작업 구조 설계의 계산 복잡도를 분석합니다.
• 중간 보상 또는 삭제를 통해 에이전트를 효율적으로 목표로 유도할 수 있는 방법을 탐색합니다.

제안 방법

• 작업 의존 관계를 시작 노드 s와 목표 노드 t를 가진 방향 그래프 G로 표현합니다.
• 현재 기간 비용이 β > 1 인 현시 편향 매개수를 사용하여 시간에 따라 일관되지 않은 에이전트를 모델링합니다.
• 에이전트의 경로 선택을 총 비용이 아닌 즉각적인 비용을 최소화하는 탐욕적이고 시야가 짧은 순행으로 정의합니다.
• 에이전트가 목표 t에 도달하도록 유도하는 하위그래프인 '유도 하위그래프' 개념을 도입합니다.
• 특히 k-팬 F_k를 사용하여 시간에 따라 일관되지 않은 경로와 최적 경로 간의 높은 비용 비율을 갖는 그래프를 특성화합니다.
• 귀납적 구성 기법을 적용하여, 낭비 없이도 원하는 에이전트 행동을 유도할 수 있도록 노드에 최적의 중간 보상을 배치할 수 있음을 보입니다.

실험 결과

연구 질문

• RQ1 그래프 이론 모델은 유예 및 장기 작업의 포기와 같은 핵심 행동 현상을 재현할 수 있는가?
• RQ2 시간에 따라 일관되지 않은 행동과 최적 행동 간의 높은 비용 비율을 초래하는 그래프는 그래프 소수를 통해 구조적으로 특성화될 수 있는가?
• RQ3 주어진 작업 그래프에서 유도 하위그래프를 찾는 데 필요한 계산 복잡도는 얼마인가?
• RQ4 노드/간선에 중간 보상을 효율적으로 배치하여 에이전트의 목표 도달 가능성을 보장하면서 총 보상 지급량을 최소화할 수 있는가?
• RQ5 부정적 보상은 에이전트를 유도하기 위해 노드 또는 간선 삭제와 어떻게 관련이 있으며, 인centive 설계에 어떤 함의를 갖는가?

주요 결과

• 모든 그래프에서 시간에 따라 일관되지 않은 행동의 형태는 다항식 수만큼만 존재하여 이러한 패턴의 다양성이 제한됨을 보여줍니다.
• 시간에 따라 일관되지 않은 에이전트가 최적의 에이전트보다 현저히 더 높은 비용을 지불하는 그래프는 반드시 큰 '유예' 구조를 소수로 포함하며, 특히 k-팬 F_k입니다.
• 시간에 따라 일관되지 않은 행동과 최적 행동 간의 비용 비율은 존재하는 가장 큰 F_k 소수의 크기 함수로 유계입니다.
• 모든 k에 대해 공통의 병목 구조가 존재하며, 그 값이 x = δ^{(k-1)/k}r^{1/k} - δ 이면 어떤 에이전트도 경로를 조기에 포기하지 않으며, 낭비된 노력이 없어집니다.
• 주어진 목표 t에 대한 최소 유도 하위그래프는 에이전트가 모든 필수 작업을 거쳐 진행하도록 보장하는 재귀적 구조로 특성화됩니다.
• 유도 하위그래프를 찾는 문제의 계산 복잡도는 비트리비얼하며, 다항식 시간 알고리즘이 알려져 있지 않아, 이 문제가 어려운 문제일 가능성이 있음을 시사합니다.