[論文レビュー] Archimedean Choice Functions: an Axiomatic Foundation for Imprecise Decision Making

Jasper De Bock|arXiv (Cornell University)|Feb 12, 2020

Bayesian Modeling and Causal Inference参考文献 13被引用数 6

ひとこと要約

この論文は、アキマデス型選択関数を用いて、2つの主要な意思決定ルール—E-許容性と最大性—を特徴づけることで、不確実性下での曖昧な意思決定の公理的基盤を提供する。これらのルールが選択関数に関する必要な十分な条件の集合によって一意に定義されることを示し、一貫した下位予測の観点からの表現が、結果の核となる。

ABSTRACT

If uncertainty is modelled by a probability measure, decisions are typically made by choosing the option with the highest expected utility. If an imprecise probability model is used instead, this decision rule can be generalised in several ways. We here focus on two such generalisations that apply to sets of probability measures: E-admissibility and maximality. Both of them can be regarded as special instances of so-called choice functions, a very general mathematical framework for decision making. For each of these two decision rules, we provide a set of necessary and sufficient conditions on choice functions that uniquely characterises this rule, thereby providing an axiomatic foundation for imprecise decision making with sets of probabilities. A representation theorem for Archimedean choice functions in terms of coherent lower previsions lies at the basis of both results.

研究の動機と目的

• 曖昧な確率に基づく意思決定のための原理的で公理的な基盤を確立し、臨機応変または実用的な選択を超えて進める。
• 単一の確率測度ではなく、確率測度の集合によって不確実性がモデル化される状況において、適切な意思決定ルールを選択する課題に対処する。
• 曖昧確率における代表的な意思決定ルールであるE-許容性と最大性を、選択関数の共通フレームワーク内で統一的かつ形式的に定式化する。
• 翻訳不変性、一貫性、およびK_A条件を特徴とするアキマデス型選択関数が、これらの意思決定ルールの自然な基盤を提供することを示す。
• これらの公理の組み合わせがE-許容性と最大性を一意に特徴づけ、一貫した下位予測の観点からの表現がその根幹をなすことを示す。

提案手法

• 論文は、選択関数を意思決定の統合的数学的枠組みとして用い、選択関数Cは有限の選択肢集合を、選ばれた選択肢の部分集合へ写像する。
• 翻訳不変性、望ましい選択肢集合の集合の一貫性、およびK_A条件の3つの主要な性質によって定義されるアキマデス型選択関数を導入する。
• K_A条件は、ある選択肢uが厳密に望ましいならば、あるε>0に対してu−εも望ましいという望ましさの原則を、有限の選択肢集合に適応したものである。
• 選択関数と一貫した下位予測との間の関係は、表現定理によって結びつけられ、すべてのアキマデス型選択関数が一貫した下位予測に対応することを示す。
• E-許容性と最大性は、それぞれのルールを一意に導く正確な公理的条件を同定することで、アキマデス型選択関数の特定の例として特徴づけられる。
• 証明戦略では、E-許容性と最大性が、確率測度の集合が単一集合である場合にのみ一致することに着目し、期待効用最大化が特別な場合として特徴づけられることを示す。

実験結果

リサーチクエスチョン

• RQ1 曖昧な確率モデルにおけるE-許容性を意思決定ルールとして一意に特徴づける公理の集合は何か？
• RQ2 確率測度の集合の文脈において、最大性を一意に特徴づける公理的条件の集合は何か？
• RQ3 アキマデス型選択関数は、曖昧な意思決定における異なる意思決定ルールを統合する枠組みとしてどのように機能するか？
• RQ4 一貫した下位予測は、アキマデス型選択関数を表現する役割を果たすが、その表現はE-許容性と最大性の背後にある根拠となるか？
• RQ5 E-許容性と最大性が一致する条件は何か？そして、これは基礎となる確率測度の集合に何を示唆するか？

主な発見

• 選択関数がE-許容性に対応するための必要十分条件は、アキマデス型性（K_A条件を含む）を満たし、一貫した下位予測による表現が可能であることである。
• 選択関数が最大性に対応するための必要十分条件は、同じアキマデス型公理を満たし、K_A条件が最大の選択肢に必要な構造を保証することである。
• E-許容性と最大性が一致するのは、基礎となる確率測度の集合が単一集合である場合に限る。この場合、両ルールは期待効用最大化に還元される。
• 表現定理により、すべてのアキマデス型選択関数が一意に一貫した下位予測によって表現可能であることが示され、選択関数と曖昧な確率モデルとの間の基礎的リンクが確立される。
• 提示された公理的体系は、E-許容性と最大性を特徴づけるために必要かつ十分であり、これらの意思決定ルールに対する完全で原理的な基盤を提供する。
• 本研究は、線形予測の集合が単一集合である場合に、期待効用最大化がアキマデス型選択関数の特別な場合として形式的に公理的に特徴づけられることを示している。