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

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