本書較全麵地介紹瞭知識庫係統的邏輯基礎、原理、實現方法與技術,引述瞭演繹數據庫和基於邏輯的知識庫係統的數學基礎,其中包括一階謂詞邏輯演算、知識推理中的證明論與模型論和基於這兩種理論的算法的實現思想,深入地研究瞭非遞歸規則的求值、不動點計算的樸質算法、最小不動點的增量求解和基於規則變換的魔集等知識庫係統的一些典型的速歸查詢算法,繪齣瞭典型的知識庫試驗係統實例及其在圖形處理與CAD、決策支持係統、專傢
發表於2024-12-21
知識庫係統導論 2024 pdf epub mobi 電子書 下載
圖書標籤: 數據庫 計算機 知識庫 知識圖譜
知識庫係統導論 2024 pdf epub mobi 電子書 下載