知識庫系統(tǒng)導(dǎo)論

內(nèi)容概要

本書較全面地介紹了知識庫系統(tǒng)的邏輯基礎(chǔ)、原理、實(shí)現(xiàn)方法與技術(shù)，引述了演繹數(shù)據(jù)庫和基于邏輯的知識庫系統(tǒng)的數(shù)學(xué)基礎(chǔ)，其中包括一階謂詞邏輯演算、知識推理中的證明論與模型論和基于這兩種理論的算法的實(shí)現(xiàn)思想，深入地研究了非遞歸規(guī)則的求值、不動點(diǎn)計(jì)算的樸質(zhì)算法、最小不動點(diǎn)的增量求解和基于規(guī)則變換的魔集等知識庫系統(tǒng)的一些典型的速歸查詢算法，繪出了典型的知識庫試驗(yàn)系統(tǒng)實(shí)例及其在圖形處理與CAD、決策支持系統(tǒng)、專家

書籍目錄

第一章知識庫系統(tǒng)概論
1.1知識庫系統(tǒng)概述
1.2知識與知識的表示
1.3知識庫、知識庫管理系統(tǒng)與知識庫系統(tǒng)
1.4知識庫系統(tǒng)的應(yīng)用
1.5知識庫系統(tǒng)研究趨向
第二章數(shù)學(xué)基礎(chǔ)
2.1概述
2.2一階邏輯、Horn邏輯與Datalog
2.3基于一階邏輯的證明論理論
2.4基于一階邏輯的模型論理論
2.5非經(jīng)典邏輯介紹
第三章知識庫系統(tǒng)基本原理
3.1知識與知識庫
3.2

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    知識庫系統(tǒng)導(dǎo)論 PDF格式下載

---