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) | 血圧, 喫煙? → 健康? |