看守的日文

• ３人の囚人Ａ，Ｂ，Ｃが判決が下るのを待っている．３人とも彼らのうち１人が有罪を宣告され他の２人は無罪放免になることを知っている．さらに，囚人Ａは看守は誰が有罪になるかを知っていると信じていて，看守に他の囚人Ｂ，Ｃのうち無罪である方に手紙を渡してほしいと頼んだ．看守は引き受け，Ｂは無罪であり彼に手紙を渡したと告げた．この出来事の結果としてＡが無罪である主観確率はどのように変化するであろうか？ＧＡ，ＧＢ，ＧＣをそれぞれＡ，Ｂ，Ｃが有罪であるという命題とする．また，ＳＢ，ＳＣを看守がＢ，Ｃに手紙を渡したという事実に対する命題とする．原始命題式は５つであるから，２ｎ　＝３２個の可能世界が構成されるが，（１）３人のうち１人のみが有罪である，（２）看守はＢまたはＣのいずれかに手紙を渡す，という問題の前提を知識として取り扱う．
  三个犯人Ａ，Ｂ，Ｃ在等待着下判决．三个人都知道他们当中的一个人将被宣告有罪，而其他两人将被无罪释放。并且，犯人Ａ认为看守知道谁是有罪的，拜托看守把信交给犯人Ｂ，Ｃ中没有罪的那个人。看守答应了，并告知Ａ说Ｂ是无罪的，把信交给他了。这件事的结果为Ａ是无罪的主观概率是如何变化的呢？假定ＧＡ，ＧＢ，ＧＣ分别是Ａ，Ｂ，Ｃ是有罪的命题。另外，假定ＳＢ，ＳＣ是对于看守把信交给Ｂ，Ｃ这个事实的命题。因为原始命题是五个，所以由２ｎ　＝３２个的可能世界构成的。
• ここでは，囚人Ａが有罪なのは囚人Ｂであると信じていたケースを２ステップの信念変更の問題として解く．この場合，ベイズ確率はＳＢの確率が０であるため未定義である．（１）初期状態において，Ａの信念状態をｕ０＝（０，０，１２　，１２　，０，０）とする．（２）看守が誰が無罪かを知っていてその囚人に手紙を渡すという知識情報は以下の文で表すことができる：＠ｅｑｕａｔｉｏｎ＿０＠この文は条件文であって論理的な含意（ｌｏｇｉｃａｌｉｍ―ｐｌｉｃａｔｉｏｎ）ではない．従って，囚人Ａは，可能世界ｅ３（ＧＢＳＢ）に対して持っていた主観確率をｅ４（ＧＢＳＣ）に移さなければならないと考える．同様に，　ｅ６の値はｅ５にシフトされる．この状態変化は以下の行列で与えられる．
  在此，把犯人Ａ认为有罪的是犯人Ｂ的情况作为两个步骤的信念变更的问题解答。这种情况下，贝叶斯概率的ＳＢ的概率是０，所以未定义。（１）在初期状态下，设定Ａ的信念状态为ｕ０＝（０，０，１２　，１２　，０，０）。（２）看守知道谁是无罪的，把信交给那个犯人这个知识信息可以用下面的句子表示：＠ｅｑｕａｔｉｏｎ＿０＠这个句子是条件句，不是逻辑性的含义（ｌｏｇｉｃａｌｉｍ―ｐｌｉｃａｔｉｏｎ）．因此犯人Ａ认为必须把对于可能世界ｅ３（ＧＢＳＢ）持有的主观概率转移到ｅ４（ＧＢＳＣ）。与此同时，　ｅ６的数值被转移到ｅ５。这种状态变化用以下的矩阵给予。
• ここでは，囚人Ａが有罪なのは囚人Ｂであると信じていたケースを２ステップの信念変更の問題として解く．この場合，ベイズ確率はＳＢの確率が０であるため未定義である．（１）初期状態において，Ａの信念状態をｕ０＝（０，０，１２　，１２　，０，０）とする．（２）看守が誰が無罪かを知っていてその囚人に手紙を渡すという知識情報は以下の文で表すことができる：＠ｅｑｕａｔｉｏｎ＿０＠この文は条件文であって論理的な含意（ｌｏｇｉｃａｌｉｍ―ｐｌｉｃａｔｉｏｎ）ではない．従って，囚人Ａは，可能世界ｅ３（ＧＢＳＢ）に対して持っていた主観確率をｅ４（ＧＢＳＣ）に移さなければならないと考える．同様に，　ｅ６の値はｅ５にシフトされる．この状態変化は以下の行列で与えられる．
  在此，把犯人Ａ认为有罪的是犯人Ｂ的情况作为两个步骤的信念变更的问题解答。这种情况下，贝叶斯概率的ＳＢ的概率是０，所以未定义。（１）在初期状态下，设定Ａ的信念状态为ｕ０＝（０，０，１２　，１２　，０，０）。（２）看守知道谁是无罪的，把信交给那个犯人这个知识信息可以用下面的句子表示：＠ｅｑｕａｔｉｏｎ＿０＠这个句子是条件句，不是逻辑性的含义（ｌｏｇｉｃａｌｉｍ―ｐｌｉｃａｔｉｏｎ）．因此犯人Ａ认为必须把对于可能世界ｅ３（ＧＢＳＢ）持有的主观概率转移到ｅ４（ＧＢＳＣ）。与此同时，　ｅ６的数值被转移到ｅ５。这种状态变化用以下的矩阵给予。