鮮明な知識

鮮明な知識とは、特定の種類の知識表現を指します。

鮮明な知識ベースのアイデアは、そこからほとんど直接的な解釈を得ることであり、解釈を意味します。したがって、このような知識ベースへのクエリはすべて、データベースのようなクエリに縮小できます。

命題知識ベースKBが鮮明であるため には、 KBが（ある語彙にわたる）完全かつ一貫したリテラルの集合である必要がある。 ^[1]

このような知識ベースには、正確に 1 つの解釈、つまり一意の解釈であるという特性があります。文の含意のチェックは、単純にそのリテラルに分解することができ、それらは KB の単純なデータベースのようなチェックによって回答できます。

1階知識ベースKBが鮮明 であるためには、ある有限集合の正関数フリー基底リテラルKB ⁺に対して、

KB = KB ⁺ ∪ 否定 ∪ ドメイン閉包 ∪ ユニーク名、

これにより

否定 ≔ { ¬p | p はアトミックであり、 KB ⊭ p }、

DomainClosure ≔ { (c _i ≠ c _j ) | c _i、 c _{j は}異なる定数である },

UniqueNames ≔ { ∀x: (x = c ₁ ) ∨ (x = c ₂ ) ∨ ...、ここで c _{i はすべて KB} ⁺内の定数です}。

^[2]

鮮明な一次知識ベースのすべての解釈は同型である。^[3]

• 閉世界仮説