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