事件本體原理與實踐：人腦自然語言知識系統(tǒng)邏輯結(jié)構(gòu)探索

目錄
前言
第1章 語言與語義 1
1.1 語言的本質(zhì) 1
1.1.1 語言所表述的內(nèi)容分析 1
1.1.2 如何用語言表述內(nèi)容 2
1.1.3 機器是否也可以像人一樣擁有這樣的知識系統(tǒng) 4
1.1.4 語言對人類進步的巨大貢獻 5
1.2 語義分析 6
1.2.1 詞匯、語句與篇章 6
1.2.2 符號與語義 8
第2章 論概念 12
2.1 概念的實質(zhì) 12
2.2 按照對象類型的概念分類 13
2.3 實物概念和虛物概念的組成 15
2.4 實物概念的形式化表示 16
2.4.1 用框架方法表示實物概念 16
2.4.2 用一階謂詞表示實物概念和實物 26
第3章 形式概念分析 29
3.1 形式概念分析的理論基礎(chǔ) 29
3.1.1 對象、屬性與形式背景 29
3.1.2 概念與概念格 30
3.1.3 將多值形式背景轉(zhuǎn)換為布爾值形式背景 31
3.2 概念格的生成 32
3.2.1 批生成算法 33
3.2.2 漸進式生成算法 33
3.2.3 概念格的合并運算 34
3.2.4 概念格的交運算 37
3.2.5 概念格的運算定律 39
3.3 形式事件分析 40
3.3.1 形式概念分析的擴展 40
3.3.2 形式事件 42
3.4 模糊概念格 44
3.4.1 一種模糊概念格模型 44
3.4.2 模糊概念格的構(gòu)造 45
3.4.3 模糊概念格的粒性質(zhì) 48
第4章 本體研究現(xiàn)狀與分析 49
4.1 本體的實質(zhì)與意義 49
4.2 本體介紹 50
4.2.1 基于自然語言詞匯的本體 51
4.2.2 基于概念的本體 52
4.2.3 基于事件的本體 54
4.3 現(xiàn)有本體研究的對比分析 57
4.3.1 基于詞匯的本體分析 57
4.3.2 基于概念的本體分析 57
4.3.3 基于事件的本體分析 59
第5章 事件與事件類形式規(guī)范表示 61
5.1 本體的形式化表示方法概述 61
5.1.1 傳統(tǒng)本體的形式化表示方法概述 61
5.1.2 事件的形式化表示方法概述 62
5.2 事件的定義與表示 63
5.3 事件類的定義與表示 65
5.4 意念事件 70
5.5 事件類之間的關(guān)系 73
5.5.1 分類關(guān)系 73
5.5.2 非分類關(guān)系 74
5.6 事件類實例化 74
5.7 事件與事件類形式化方法的意義 76
第6章 文本事件語義映射 78
6.1 文本語義映射舉例 78
6.2 文本語義映射例子分析 96
6.2.1 例子中的事件和敘真統(tǒng)計分析 96
6.2.2 例子中的敘真分類 97
第7章 文本中事件語言表現(xiàn)形式識別 100
7.1 文本中事件語言表現(xiàn)語料庫 100
7.1.1 中文事件的可標注性研究 100
7.1.2 中文事件語料庫的制作 102
7.1.3 指代關(guān)系語料庫的構(gòu)建 106
7.2 文本中的事件識別 111
7.2.1 基于多種特征融合的事件識別方法 111
7.2.2 基于依存語法樹頻繁子樹的事件識別 114
7.2.3 基于深度學習的事件識別方法 116
7.3 文本中的事件要素識別 122
7.3.1 基于半監(jiān)督聚類和特征加權(quán)的事件要素識別 122
7.3.2 基于依存語法樹頻繁子樹的事件要素抽取 125
7.3.3 深度學習的文本事件對象要素識別 128
7.4 文本中基于事件的指代消解 132
7.4.1 消解模型 132
7.4.2 事件的指代消解的實現(xiàn) 133
第8章 一個高度規(guī)范的事件類領(lǐng)域：計算機程序 136
8.1 結(jié)構(gòu)程序 136
8.1.1 真程序、素程序和復合程序 137
8.1.2 程序映射 138
8.1.3 程序映射的等價代換 139
8.2 讀結(jié)構(gòu)程序 140
8.2.1 讀素程序 140
8.2.2 逐步抽象閱讀 141
8.3 Hoare的公理化方法 144
8.3.1 歸納表達式 144
8.3.2 驗證規(guī)則定理 145
8.4 逐步求精開發(fā)程序 147
8.4.1 逐步求精方法 147
8.4.2 非遞歸程序的逐步求精開發(fā) 147
8.4.3 遞歸程序逐步求精開發(fā) 150
8.5 分析 158
第9章 事件本體 159
9.1 事件本體結(jié)構(gòu) 159
9.2 事件類層次結(jié)構(gòu) 160
9.2.1 事件類分類關(guān)系層次結(jié)構(gòu) 160
9.2.2 事件類非分類關(guān)系網(wǎng)狀結(jié)構(gòu) 161
9.3 事件本體構(gòu)建方法及工具 162
9.3.1 事件本體構(gòu)建方法 163
9.3.2 事件本體構(gòu)建平臺 164
9.4 典型事件本體的構(gòu)建 168
9.4.1 事件本體構(gòu)建的基礎(chǔ)工作 168
9.4.2 事件本體邏輯描述語言 169
9.4.3 交通事故事件本體實例 172
9.5 事件本體推理概述 176
9.5.1 事件本體不確定性推理 176
9.5.2 事件本體的三層次推理 178
9.6 事件本體應(yīng)用概述 180
第10章 基于描述邏輯的事件本體形式化與推理 182
10.1 基于擴展描述邏輯的事件知識表示 183
10.1.1 描述邏輯擴展概述 183
10.1.2 擴展描述邏輯的語法與語義 184
10.2 基于擴展描述邏輯的事件實例化推理 187
10.2.1 事件表述 188
10.2.2 事件實例化推理規(guī)則 188
10.2.3 實例分析 191
10.3 基于擴展描述邏輯的事件實例檢測 194
10.3.1 事件實例檢測相關(guān)概述 194
10.3.2 語義補充 194
10.3.3 事件實例檢測方法 198
10.4 基于要素投影和擴展描述邏輯的事件本體形式化及推理 200
10.4.1 事件要素投影理論 200
10.4.2 事件本體的形式化方法 204
10.4.3 基于要素投影的事件關(guān)系推理 208
10.4.4 事件要素投影中的多元動作要素問題 211
10.5 本章小結(jié) 213
參考文獻 214