3値論理と確率論の違い
激遅ですが、
http://homepage3.nifty.com/mogami/diary/d0705.html#151
この手の「真」「偽」の2値論理を拡張しようと言う試みはみな確率論のdegradeしたsubsetにしかならないよな、普通は。
ちょっと関連する話題がゼミであって、普通は任意の事象XについてX∨¬Xの確率は1だが、3値論理でX = unknownとするとX∨¬Xはtrueではなくunknownになる(ものが多い)という話になりました。
激遅ですが、
http://homepage3.nifty.com/mogami/diary/d0705.html#151
この手の「真」「偽」の2値論理を拡張しようと言う試みはみな確率論のdegradeしたsubsetにしかならないよな、普通は。
ちょっと関連する話題がゼミであって、普通は任意の事象XについてX∨¬Xの確率は1だが、3値論理でX = unknownとするとX∨¬Xはtrueではなくunknownになる(ものが多い)という話になりました。