《知識庫系統導論》是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
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
