-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
中國院士文庫-人工智能 版權信息
- ISBN:9787543982529
- 條形碼:9787543982529 ; 978-7-5439-8252-9
- 裝幀:一般膠版紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>
中國院士文庫-人工智能 內容簡介
本書是人工智能專業*基礎*全面的高校教材,作者陸汝鈐院士系 中國科學院數學與系統科學研究院數學研究所研究員。在知識工程和基于知識的軟件工程方面做了系統的、創造性的工作,是我國該領域研究的開拓者之一。倡導并主持完成了以軟件的機械化生成和移植為目標的系列軟件計劃(XR計劃),推動了當時國產機軟件缺乏問題的解決。本書首次把異構型DAI和機器辯論引進人工智能領域。研究出基于類自然語言理解的知識自動獲取方法,把ICAI生成技術推進到以自動知識獲取為特征的第三代,并開發出基于知識的應用軟件自動生成技術。在形式語義學方面研究了邏輯語義、代數語義和分布式語義,證明了任意Horn子句集的模型論語義和*小不動點語義的等價性;給出了能描述動態控制結構的基調式代數語義;把平面的Petri網擴展成多頁的Petri/Riemann網(P/R網)作為進程模型,獲得了演算的優選真并發結構。
中國院士文庫-人工智能 目錄
引言
**部分 知識表示
**章 演繹系統
1.1 謂詞演算
1.2 自然演繹系統
1.3 與或句演繹系統
1.4 子句演繹系統
習題
第二章 產生式系統
2.1 緒論
2.2 產生式系統的基本特征
2.3 產生式的知識元
2.4 推理的方向
2.5 框架問題
2.6 非確定性匹配
2.7 匹配沖突的解決
習題
第三章 框架結構
3.1 事物的屬性
3.2 框架
習題
第四章 語義網絡
4.1 命題語義網絡
4.2 數據語義網絡
4.3 語言語義網絡
4.4 幾種特殊的語義網絡
4.5 網絡上的推理
習題
第五章 過程性知識
5.1 狀態空間
5.2 時序框架
5.3 概念依賴理論和劇本
5.4 說明性表示中的過程知識
習題
第二部分 搜索技術
第六章 無變量盲目搜索算法
6.1 狀態空間的盲目搜索
6.2 問題空間的盲目搜索
習題
第七章 帶變量盲目搜索算法
7.1 通代算法
7.2 帶變量的狀態空間盲目搜索
7.3 帶變量的問題空間盲目搜索
習題
第八章 啟發式搜索算法
8.1 單值有序搜索和多值有序搜索
8.2 H*算法和A*算法
8.3 估值函數的選擇
8.4 B算法和B'算法
8.5 雙向啟發式搜索
習題
……
下冊
第三部分 非經典邏輯和非經典推理
第四部分 定理機器證明
第五部分 機器學習
第六部分 自然語言理解
第七部分 知識工程
參考文獻
中國院士文庫-人工智能 作者簡介
陸汝鈐,計算機科學家,中國科學院院士。陸汝鈐以人工智能、知識工程和基于知識的軟件工程為主要研究方向,是中國該領域研究的開拓者之一。
- >
隨園食單
- >
月亮虎
- >
巴金-再思錄
- >
伯納黛特,你要去哪(2021新版)
- >
詩經-先民的歌唱
- >
名家帶你讀魯迅:朝花夕拾
- >
羅曼·羅蘭讀書隨筆-精裝
- >
伊索寓言-世界文學名著典藏-全譯本