知識庫
 | 此條目可能包含原創研究。 (2018年8月6日) |
 | 此條目沒有列出任何參考或來源。 (2018年8月6日) |
知識庫（Knowledge base）是用於知識管理的一種特殊的數據庫，以便於有關領域知識的採集、整理以及提取。知識庫中的知識源於領域專家，它是求解問題所需領域知識的集合，包括基本事實、規則和其它有關信息。
表示形式
[編輯]- 測試框架
- 規則
- 語義網絡
特點
[編輯]- 主動性
- 動態性
- 變態性
驗證
[編輯]知識庫的不完整性
[編輯]- 懸掛條件
- 如果該規則的任意前提條件都不出現在數據庫中，也不出現在所有規則的結論部分，則該規則永遠不會被激活。
- 無用結論
- 如果一個規則結論部分的謂詞沒有在知識庫中任何規則的前提條件中出現，該謂詞稱為無用條件。
- 孤立規則
- 如果一個規則前提部分的謂詞都是懸掛條件，並且其結論部分的謂詞都是無用結論，則稱該規則為孤立的。
知識庫的不一致性
[編輯]- 冗餘規則
- 包含規則
- 循環規則
- 衝突規則