• 検索結果がありません。

ベイジアンネット意思決定論理

N/A
N/A
Protected

Academic year: 2021

シェア "ベイジアンネット意思決定論理"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

ベイジアンネット意思決定論理

鈴木 聡

(Satoru SUZUKI)

駒澤大学総合教育研究部非常勤講師

明治大学政治経済学部兼任講師

条件付き確率に基づく期待効用最大化原理および優越原理は、意思決定理論にお ける代表的な意思決定原理である。

Nozick([6])

は、これら

2

つの原理が異なる意 思決定を推奨してしまう

Newcomb

のパラドクスを提示した。証拠的意思決定理

([2])

は、条件付き確率に基づく期待効用最大化原理を採用するため、そのままで

は、このパラドクスに陥ってしまう。このパラドクスを回避するために、

Gibbard and Harper([1])

Skyrms([8])

Lewis([4])

らは、各々のバージョンの因果的意思 決定理論を提示した。例えば、

Gibbard and Harper

Lewis

は、条件付き確率に基 づく期待効用最大化原理の代わりに、このパラドクスの状況において優越原理と同じ 意思決定を推奨する反事実条件文の確率に基づく期待効用最大化原理を採用した。一

方、

Meek and Glymour([5])

は、このパラドクスを次のように分析した。異なる意思

決定の推奨は、条件付き確率に基づくものと反事実条件文の確率に基づくものという 期待効用最大化原理の違いには依存しない。条件付き確率に基づく期待効用最大化原 理の下で、異なる条件付き確率を用いることによって異なる意思決定が推奨される。

条件付き確率が異なるのは、異なる事象(命題)が条件付けられるからである。彼ら は、このことを可能にする理論としてベイジアンネット

([7]

[9])

に訴えた。証拠的 意思決定論者は観察

(observation)

の事象に基づく条件付けを行い、一方、因果的意 思決定論者は介入

(intervention)

の事象に基づく条件付けを行う。

本発表の目的は、

Newcomb

のパラドクスの状況に出現するような証拠的および 因果的な意思決定についての推論を扱える新しい論理

ベイジアンネット意思決定 論理

(BNDL)–

を提示することである。我々は、

Meek and Glymour

と同様に、ベイ ジアンネットに訴え、観察による条件付けと介入による条件付けとを区別する。さ らに我々は、確率的な動的認識論理

([3]

[10])

の確率的な動的論理の部分を利用し て、それぞれの条件付けに対応する

2

種類の作用素を準備する。

[10]

において我々 は、確率変化の方法として、

Lewis([4])

の一般的像化

(general imaging)

に訴えた。

この一般的像化は反事実条件文への確率付値を可能にする。一方、本発表において 我々は、ベイジアンネットにおける最重要定理の

1

つである操作定理

(Manipulation

Theorem)([[9]: 51])

に訴える。そして、この操作定理が介入による条件付けを可能

1

(2)

にする*1

参考文献

[1] Gibbard, A. and Harper, W.: Counterfactuals and Two Types of Expected Utility. In: Hooker, C. A. et al. (eds.): Foundations and Applications of Decision Theory. Reidel, Dordrecht (1978) 125–162.

[2] Jeffrey, R.: The Logic of Decision, Corrected Second Edition. University of Chicago Press, Chicago (1990).

[3] Kooi, B. P.: Probabilistic Dynamic Epistemic Logic. Journal of Logic, Lan- guage and Information 12 (2003) 381–408.

[4] Lewis, D.: Causal Decision Theory. Australasian Journal of Philosophy 59 (1981) 5–30.

[5] Meek, C. and Glymour, C.: Conditioning and Intervening. The British Jour- nal for the Philosophy of Science 45 (1994) 1001–1021.

[6] Nozick, R.: Newcomb’s Problem and Two Principles of Choice. In: Rescher, N. et al. (eds.): Essays in Honor of Carl G. Hempel. Reidel, Dordrecht (1969) 114–146.

[7] Pearl, J.: Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Francisco (1988).

[8] Skyrms, B.: Causal Necessity. Yale UP, New Haven (1980).

[9] Spirtes, P. et al.: Causation, Prediction, and Search, Second Edition. The MIT Press, Cambridge, Mass. (2000).

[10] Suzuki, S.: Prolegomena to General-Imaging-Based Probabilistic Dynamic Epistemic Logic. In: Washio, T. et al. (eds.): New Frontiers in Artificial Intelligence, LNAI 4384, Springer-Verlag, Berlin (2007) 118-132.

[11] Suzuki, S.: Measurement-Theoretic Foundation of Threshold Utility Max- imiser’s Preference Logic. In: van Benthem, J. and Yamada, T. (eds.): Pro- ceedings of the Second International Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010) (2010), 7–12.

[12] Suzuki, S.: Prolegomena to Threshold Utility Maximiser’s Preference Logic.

In: Accepted Papers of the 9th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2010), University of Toulouse (2010).

*1意思決定理論的な枠組みは非常に広い射程を持つ。例えば、

[11]

および

[12]

において我々は、曖昧 さを含む推論を閾値効用最大化から考察している。

2

参照

関連したドキュメント

Giuseppe Rosolini, Universit` a di Genova: [email protected] Alex Simpson, University of Edinburgh: [email protected] James Stasheff, University of North

H ernández , Positive and free boundary solutions to singular nonlinear elliptic problems with absorption; An overview and open problems, in: Proceedings of the Variational

Keywords: Convex order ; Fréchet distribution ; Median ; Mittag-Leffler distribution ; Mittag- Leffler function ; Stable distribution ; Stochastic order.. AMS MSC 2010: Primary 60E05

In addition, we extend the methods and present new similar results for integral equations and Volterra- Stieltjes integral equations, a framework whose benefits include the

Inside this class, we identify a new subclass of Liouvillian integrable systems, under suitable conditions such Liouvillian integrable systems can have at most one limit cycle, and

Proof.. One can choose Z such that is has contractible connected components. This simply follows from the general fact that under the assumption that the functor i : Gr // T is

Then it follows immediately from a suitable version of “Hensel’s Lemma” [cf., e.g., the argument of [4], Lemma 2.1] that S may be obtained, as the notation suggests, as the m A

Definition An embeddable tiled surface is a tiled surface which is actually achieved as the graph of singular leaves of some embedded orientable surface with closed braid