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

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