マルコフ・テンソルの事例とDontCare記号

DontCare記号は未定義を意味する'⊥'とは違う。未知物を表す'?'とも違う。任意の値を入れていいプレースホルダー。アンダースコア'_'を使う。DontCare記号=アンダースコアは、マルコフ・テンソルの反転でゼロ除算が出てきたときに使う。

DontCare記号=アンダースコアを含むマルコフ・テンソルは、ある程度の不定性を持つマルコフ・テンソルを示す。すべてのスコーレム関数を表すのに使える。空集合に対するヒルベルト記号の定義とも似ている。

マルコフ・テンソルの例

名称 プロファイル階数 プロファイル
製造機械不良率 (1, 1) {1, 2, 3} → 良?
病気検査の精度 (1, 1) 病気? → {陰性, 陽性}
ガラポン (1, 1) {H, T} → {R, G, B}
ピン2本、ガラポン (2, 1) {H, T}, {H, T} → {R, G, B}
通信路 (1, 1) Send → Recieve
拡散 (n, n) k1, ..., kn → k1, ..., kn
バスケット選手の身長 (1, 1) バスケット選手? → {l, m, h}
カラスは黒い (1, 1) カラス? → 黒?
病気の症状 (1, 3) 病気種 → 熱?, 咳?, 発疹?
健康 (2, 1) 血圧, 喫煙? → 健康?