定性表征人們?nèi)绾瓮评砗蛯W習連續(xù)變化的世界

定　價：￥139.00

作　者：	[美] 肯尼斯-D.福布斯（Kenneth D.Forbus）著，段沛沛等譯
出版社：	機械工業(yè)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787111664345	出版時間：	2021-02-01	包裝：	平裝
開本：	16開	頁數(shù)：	304	字數(shù)：

內(nèi)容簡介

　　在《定性表征——人們?nèi)绾瓮评砗蛯W習連續(xù)變化的世界》一書中，Kenneth D.Forbus提出，定性表征是認知科學非常深奧的關鍵內(nèi)容之一——如何對我們周圍連續(xù)變化的現(xiàn)象進行推理和學習。Forbus認為，定性表征是人類認知的核心，它將連續(xù)現(xiàn)象分解成有意義單元的符號化表征。定性表征為常識推理奠定了基礎，因為它們可以用非常少的數(shù)據(jù)實現(xiàn)實際推理，這使得定性表征成為自然語言語義的有用組成部分。通過明確可能發(fā)生的事件的類型，并建立有助于指導更多量化知識的應用的因果模型，定性表征還為科學和工程方面的專家推理奠定了基礎。定性表征對于創(chuàng)建更具人性的人工智能系統(tǒng)非常重要，這些系統(tǒng)具有空間推理、視覺、問答和理解自然語言的能力。Forbus討論了知識表示和推理的基本思想以及其他主題，諸如定性過程理論、變化的定性模擬和推理、組分建模、定性空間推理、學習和概念變化等。認知科學家會意識到Forbus對定性表征的解釋頗具啟發(fā)性；AI科學家則會重視Forbus的新方法及其概述。

作者簡介

　　Kenneth D. Forbus是美國西北大學計算機科學的Walter P.Murphy教授和教育學教授。他是Building Problem Solvers和 Smart Machines in Education的合著者，兩本著作均由MIT出版社出版。

圖書目錄

譯者序
原書前言
第1部分　緒論
第1章　導言
1.1　定性推理在生活中的應用
1.1.1　水的加熱
1.1.2　冷水會比熱水更易凝結嗎
1.1.3　季節(jié)
1.1.4　球會撞上嗎
1.1.5　瑞文推理測驗
1.1.6　道德決策
1.2　定性推理在人類認知中的重要性
1.3　本書概述
第2章　表征概要
2.1　結構化關系表征的重要性
2.2　邏輯、形式主義和精確性
2.2.1　語法
2.3　圖式、框架和用例 ??
2.4　本體和知識庫
2.5　謂詞詞匯的豐富性和結構
2.6　摘要：表征評估
第3章　推理概要
3.1　計算復雜度和可操作性
3.2　演繹、溯因和歸納
3.3　模式匹配與合一
3.3.1　知識存儲和檢索
3.4　封閉世界假設
3.5　概率
第4章　類比
4.1　心理動機表征約定
4.2　結構映射理論
4.3　結構映射理論的心理學依據(jù)
4.4　類比處理的計算模型
4.4.1　匹配
4.4.2　檢索
4.4.3　概括
4.5　類比在人類認知中的重要意義
第2部分　動　態(tài)　性
第5章　分量
5.1　實數(shù)
5.2　實數(shù)的有限近似
5.3　有限代數(shù)與模糊邏輯
5.4　符號
5.5　順序關系
5.6　數(shù)值區(qū)間
5.7　數(shù)量級
5.8　無窮小
5.9　狀態(tài)值
5.10　小結
第6章　分量間的關系
6.1　為何使用定性數(shù)學
6.1.1　可靠性
6.1.2　最少的知識
6.1.3　因果關系
6.2　QP理論中的定性數(shù)學
6.2.1　直接影響
6.2.2　間接影響
6.2.3　組合性及知識的適度擴展
6.2.4　與關系相關的其他信息
6.3　自然度
6.4　表達力
6.5　流和因果序
6.6　小結
第7章　定性過程理論
7.1　建模過程的模擬
7.2　模型片段
7.3　QP理論的本體論
7.4　定性表征的基本推論
7.4.1　模型制定
7.4.2　確定活動
7.4.3　影響解析
7.4.4　極限分析
7.5　封裝歷史
7.6　小結
第8章　QP理論應用舉例
8.1　流體建模
8.2　存在及其重要性
8.3　容器內(nèi)液體的表述方法
8.4　氣體表述方法
8.5　相變
8.6　水沸騰及其后果
8.7　再談冰箱中的冰塊
8.8　運動建模
8.9　材料建模
8.10　振蕩器建模
8.11　穩(wěn)定性分析
8.12　討論
第9章　因果關系
9.1　什么是因果關系
9.2　QP理論的因果關系
9.3　因果關系的傳播
9.3.1　融合模型中的因果關系
9.3.2　因果順序
9.4　認知科學中因果關系的其他概念
9.5　小結
第10章　變化的定性模擬及推理
10.1　定性模擬
10.2　存在性及連續(xù)性
10.3　定性推理的正確性
10.3.1　相空間
第11章　建模
11.1　例子：一個蒸汽推進裝置
11.2　成分建模
11.2.1　建模標準
11.2.2　建模假設和約束
11.2.3　結構抽象
11.3　模型公式化算法
11.4　如何制定模型
第12章　動力學模擬
12.1　心理模型和可運行性
12.2　人類定性推理：第一性原理還是類比
12.2.1　記憶經(jīng)驗模型
12.2.2　部分泛化模型
12.2.3　因果注釋經(jīng)驗模型
12.2.4　類屬域理論
12.3　基于相似性的定性模擬
12.3.1　一種基于原型相似性的定性模擬器
12.4　心理影響
12.4.1　具有專業(yè)知識的記憶依賴分布
12.4.2　新手 /專家檢索模式的差異
12.4.3　應提高專業(yè)知識的因素
12.5　討論
12.6　小結
第13章　語言動態(tài)
13.1　動機
13.2　將定性表征重鑄為語言框架
13.3　QP理論在英語中的體現(xiàn)
13.3.1　數(shù)量
13.3.2　序數(shù)關系
13.3.3　影響
13.3.4　模型片段碎片和流程
13.4　證據(jù)
13.4.1　語料庫分析
13.4.2　與語義學其他方面的兼容性
13.4.3　自然語言理解的例子
13.5　其他說明
第3部分　空　　間
第14章　定性空間推理：一個理論框架
14.1　關于空間運動的推理
14.2　度量圖 /位置詞匯模型
14.2.1　貧困猜想
14.3　MD/PV模型的其他例子
14.4　心理學的分類/坐標模型
14.5　一個統(tǒng)一說明
第15章　定性空間計算
15.1　案例：區(qū)域連接演算
15.2　運算集合
15.2.1　拓撲相交模型
15.2.2　距離計算
15.2.3　定向計算
15.3　推理問題
15.4　小結
第16章　理解草圖和圖表
16.1　草圖和圖表的研究
16.2　草圖理解的nuSketch模型
16.3　CogSketch：表示和處理
16.4　學習空間介詞
16.5　關于描述的推理
16.6　建模視覺問題的解決
16.6.1　幾何類比
16.6.2　Raven矩陣
16.6.3　怪異任務
16.6.4　什么是有效的視覺問題解決者
16.7　小結
第4部分　學習與推理
第17章　學習與概念變化
17.1　物理領域的心理模型框架
17.2　原型歷史學習
17.3　通過原型歷史統(tǒng)計構建首要因素知識
17.4　分布式知識、解釋結構和概念變化
17.5　通過跨領域類比學習
17.6　小結
第18章　常識推理
18.1　為何常識推理無效
18.2　關于常識的一些心理學考慮
18.3　常識的定量
18.3.1　數(shù)值的類比估計
18.3.2　定性表示可以增強相似性
18.3.3　粗略推理的策略
18.3.4　這個模型究竟如何
18.4　概念隱喻中的定性表征
18.5　社交推理
18.5.1　情感建模
18.5.2　責備任務
18.5.3　道德決策
18.6　小結
第19章　專家推理
19.1　工程因素
19.1.1　分析
19.1.2　監(jiān)控、控制和診斷
19.1.3　設計
19.1.4　系統(tǒng)識別
19.2　科學建模
19.3　小結
第5部分　總結與展望
第20章　總結
20.1　感知與認知之間的橋梁
20.2　常識推理基礎
20.3　專家推理基礎
第21章　展望
21.1　離散過程的形式化及其與連續(xù)過程的相互作用
21.2　定性視覺
21.3　其他模態(tài)中的定性表征
21.4　語義學中的定性表征
21.5　機器人技術中的定性表征
21.6　對人類心理模型和本體論的范圍進行編目
21.7　社會科學的定性表征
21.8　認知架構中的定性表征
21.9　多模式科學的學習與講授
21.10　小結
參考文獻