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

內容簡介

隨著依法治國戰略的實施，社會經濟生活對法律信息和內容的需求日益增大，亟須更為智慧型的法律知識表示方法和技術以實現對法律信息的高效檢索和知識管理。基於人機交換理論的知識管理技術是實現法律語義套用開發的基礎，它不僅涉及信息表示的語法層面，還在語義層面實現信息交換的含義共享，進而實現基於知識的自動推理。《法律知識形式化管理理論及工程方法》以“本體”（Ontolgoy）作為一種知識表示的方法，致力於分析“本體論”的定義，專題介紹“法律本體”作為法律知識的形式化表示方式和當前文獻中存在的法律本體的廣泛解釋，以及知識獲取、知識提取、建模方法、本體構建工具等和本體相關的問題。

圖書目錄

第一章知識表示與推理

一、人工智慧之路回顧

二、知識表示的發展脈絡

（一）形式邏輯知識表示

（二）啟發式知識表示

（三）描述邏輯

三、知識表示的認知理論

（一）知識、表示與語言

（二）知識表示的評價

四、知識獲取

（一）知識建模

（二）語言表達能力與計算效率

第二章知識本體

一、“本體”的哲學起源

一、人工智慧“本體”

（一）知識表示本體

（二）知識管理本體

（三）本體與全球資訊網的結合

一、形式化本體與知識表示

四、法律領域知識本體

（一）法律知識本體的功能分類

（二）法律相關的知識本體

（三）基於常識的法律核心本體

五、法律知識互動標準

（一）作用範圍

（二）層次化概念組織體系

第三章知識本體語言

一、語義網的發展

二、語義網基礎概念

（一）字元編碼

（二）統一資源標識符

（三）命名空間

（四）語義標記辭彙

三、資源描述框架

（一）RDF序列化語法

（二）RDF Schema辭彙描述語言

四、網路環境下的知識表示

（一）OWL1

（二）OWL2

第四章知識本體工程方法

一、知識本體開發過程

二、設計指標和開發方法

（一）本體設計指標

（二）本體開發方法

三、基本性概念的定義

四、本體的集成與復用

（一）本體的可復用性

（二）本體復用的安全性

（三）本體復用約束

五、元屬性

六、結構化設計模式

（一）模式與語義

（二）本體工程設計模式

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

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條