知識庫系統導論

作品目錄第一章知識庫系統概論1.1知識庫系統概述1.2知識與知識的表示1.3知識庫、知識庫管理系統與知識庫系統1.4知識庫系統的套用1.5知識庫系統研究趨向第二章數學基礎2.1概述2.2一階邏輯、Horn 邏輯與Datalog2.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

相關詞條

熱門詞條

聯絡我們