綜合數據庫

綜合數據庫也稱為動態庫或工作存儲器，是反映當前問題求解狀態的集合。^[1]

存放內容

• 系統運行過程中所產生的所有信息
• 原始數據：
  • 用戶輸入的信息
  • 推理的中間結果
  • 推理過程的紀錄

作用

動態庫中由各種事實、命題和關係組成的狀態，既是推理機選用知識的依據，也是解釋機制獲得推理路徑的來源。