鮮明な知識とは、特定の種類の知識表現を指します。
鮮明な知識ベースの考え方は、そこからほぼ直接的に解釈を引き出すことであり、それは解釈を暗示する。したがって、そのような知識ベースへのあらゆるクエリは、データベースのようなクエリに簡略化できる。
命題知識ベース
命題知識ベースKBが鮮明であるためには、 KBが（ある語彙にわたる）完全かつ一貫性のあるリテラル集合である必要がある。 [1]
このような知識ベースは、解釈が一つだけ存在する、つまりその解釈が唯一であるという性質を持ちます。文の含意のチェックは、単純にその文のリテラルに分解することができ、それらはKBの単純なデータベースのようなチェックによって答えられます。
一次知識ベース
一階知識ベースKBが鮮明で あることと、ある有限集合の正関数自由基底リテラルKB +が鮮明であることは、
- KB = KB + ∪ 否定 ∪ ドメイン閉包 ∪ ユニーク名、
これにより
- 否定 ≔ { ¬p | p はアトミックであり、 KB ⊭ p },
- DomainClosure ≔ { (c i ≠ c j ) | c i、 c jは異なる定数である },
- UniqueNames ≔ { ∀x: (x = c 1 ) ∨ (x = c 2 ) ∨ ...、ここで c i はすべて KB +内の定数です}。
[2]
鮮明な一次知識ベースのすべての解釈は同型である。[3]
参照
参考文献
- ^ 知識表現と推論 / ロナルド・J・ブラクマン、ヘクター・J・レベスク / 337ページ
- ^ 知識表現と推論 / ロナルド・J・ブラクマン、ヘクター・J・レベスク / 337ページ
- ^ 知識表現と推論 / ロナルド・J・ブラクマン、ヘクター・J・レベスク / 339ページ
