法律知識形式化管理理論及工程方法

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