法律知識(shí)形式化管理理論及工程方法

第一章 知識(shí)表示與推理
一、人工智能之路回顧
二、知識(shí)表示的發(fā)展脈絡(luò)
（一）形式邏輯知識(shí)表示
（二）啟發(fā)式知識(shí)表示
（三）描述邏輯
三、知識(shí)表示的認(rèn)知理論
（一）知識(shí)、表示與語言
（二）知識(shí)表示的評(píng)價(jià)
四、知識(shí)獲取
（一）知識(shí)建模
（二）語言表達(dá)能力與計(jì)算效率
第二章 知識(shí)本體
一、“本體”的哲學(xué)起源
一、人工智能“本體”
（一）知識(shí)表示本體
（二）知識(shí)管理本體
（三）本體與萬維網(wǎng)的結(jié)合
一、形式化本體與知識(shí)表示
四、法律領(lǐng)域知識(shí)本體
（一）法律知識(shí)本體的功能分類
（二）法律相關(guān)的知識(shí)本體
（三）基于常識(shí)的法律核心本體
五、法律知識(shí)交互標(biāo)準(zhǔn)
（一）作用范圍
（二）層次化概念組織體系
第三章 知識(shí)本體語言
一、語義網(wǎng)的發(fā)展
二、語義網(wǎng)基礎(chǔ)概念
（一）字符編碼
（二）統(tǒng)一資源標(biāo)識(shí)符
（三）命名空間
（四）語義標(biāo)記詞匯
三、資源描述框架
（一）RDF序列化語法
（二）RDF Schema詞匯描述語言
四、網(wǎng)絡(luò)環(huán)境下的知識(shí)表示
（一）OWL1
（二）OWL2
第四章 知識(shí)本體工程方法
一、知識(shí)本體開發(fā)過程
二、設(shè)計(jì)指標(biāo)和開發(fā)方法
（一）本體設(shè)計(jì)指標(biāo)
（二）本體開發(fā)方法
三、基本性概念的定義
四、本體的集成與復(fù)用
（一）本體的可復(fù)用性
（二）本體復(fù)用的安全性
（三）本體復(fù)用約束
五、元屬性
六、結(jié)構(gòu)化設(shè)計(jì)模式
（一）模式與語義
（二）本體工程設(shè)計(jì)模式
（三）知識(shí)模式
第五章 法律本體的設(shè)計(jì)與實(shí)現(xiàn)
一、結(jié)構(gòu)化概念表示與模型解釋
（一）本體表示的模型解釋
（二）結(jié)構(gòu)化概念
（三）法律領(lǐng)域常用的設(shè)計(jì)模式
二、交換行為的互易性
三、多元關(guān)系與社會(huì)概念
（一）多元關(guān)系
（二）社會(huì)概念
（三）謂詞化表示
四、變化與序列
（一）因果關(guān)系
（二）因果推理
（三）因果表示
五、行為的表示
參考文獻(xiàn)