知識庫系統導論

知識庫系統導論

《知識庫系統導論》是1999年科學出版社出版的圖書,作者是徐潔磐。

基本介紹

  • 書名知識庫系統導論
  • 作者:徐潔磐
  • ISBN:9787030078032
  • 頁數:248
  • 定價:24.00元
  • 出版社:科學出版社
  • 出版時間:1999-12
作品目錄
第一章知識庫系統概論
1.1知識庫系統概述
1.2知識與知識的表示
1.3知識庫、知識庫管理系統與知識庫系統
1.4知識庫系統的套用
1.5知識庫系統研究趨向
第二章數學基礎
2.1概述
2.2一階邏輯、Horn邏輯與Datalog
2.3基於一階邏輯的證明論理論
2.4基於一階邏輯的模型論理論
2.5非經典邏輯介紹
第三章知識庫系統基本原理
3.1知識與知識庫
3.2

相關詞條

熱門詞條

聯絡我們