作品目錄
第一章知識庫系統概論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
相關詞條
-
信息檢索系統導論
《信息檢索系統導論》，是劉挺 編著，機械工業出版社出版的書籍。
圖書信息 內容簡介 作者簡介 圖書目錄 -
農業物聯網導論
農業物聯網系統集成 農業物聯網系統集成 農業物聯網系統集成
圖書信息 內容簡介 特色 作者簡介 前言 -
農業信息化技術導論
《農業信息化技術導論（全國高等院校規劃教材）》內容：利用信息技術改造傳統農業，已成為新世紀世界各國發展農業的共同選擇，也是衡量一個國家和地區農業是否達到...
目錄 -
語音語言處理導論
eratin Parsin eratin
圖書信息 作者簡介 內容簡介 目錄 -
《信息檢索系統導論》
《信息檢索系統導論》，對信息檢索及信息檢索系統的基本概念、原理、算法進行詳盡介紹。主要內容包括信息檢索模型、文本操作技術、文本索引和搜尋技術、查詢處理與...
圖書信息 內容簡介 作者簡介 圖書目錄 -
計算機系統結構教程
《計算機系統結構教程》是2010年機械工業出版社出版的圖書，作者是洪志全。
內容簡介 圖書目錄 中國鐵道出版 -
信息技術教學導論
《信息技術教學導論》是由楊威、史春秀所著的一本書籍之一，於2003年電子工業出版社出版。
基本信息 內容簡介 圖書目錄 -
數據挖掘與精準農業智慧型決策系統
《數據挖掘與精準農業智慧型決策系統》一書的出版社是科學出版社，作者是陳桂芬，於合龍。
圖書簡介 目錄 -
遙感套用
；建立了中國最完善的高空機載遙感系統；主持了中國第一個遙感重點基金“地表...的戰略定位：以遙感科學與技術創新為基礎，以天空地一體化遙感系統論證、綜合...理論研究與套用技術集成、新型遙感前沿技術與遙感系統綜合論證、遙感套用工程...
研究所概況 學科方向 成果 發展戰略 未來發展思路
