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

定　價：￥68.00

作　者：	劉振宇著
出版社：	經(jīng)濟管理出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787509672082	出版時間：	2020-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	151	字數(shù)：

內(nèi)容簡介

　　隨著依法治國戰(zhàn)略的實施，社會經(jīng)濟生活對法律信息和內(nèi)容的需求日益增大，亟須更為智能的法律知識表示方法和技術(shù)以實現(xiàn)對法律信息的高效檢索和知識管理。基于人機交換理論的知識管理技術(shù)是實現(xiàn)法律語義應(yīng)用開發(fā)的基礎(chǔ)，它不僅涉及信息表示的語法層面，還在語義層面實現(xiàn)信息交換的含義共享，進而實現(xiàn)基于知識的自動推理?！斗芍R形式化管理理論及工程方法》以“本體”（Ontolgoy）作為一種知識表示的方法，致力于分析“本體論”的定義，專題介紹“法律本體”作為法律知識的形式化表示方式和當(dāng)前文獻中存在的法律本體的廣泛解釋，以及知識獲取、知識提取、建模方法、本體構(gòu)建工具等和本體相關(guān)的問題。

作者簡介

　　劉振宇，博士，現(xiàn)為中國政法大學(xué)法治信息管理學(xué)院副教授。2006年在英國伯明翰大學(xué)獲得計算機科學(xué)博士學(xué)位。主要研究方向為計算智能、強化學(xué)習(xí)，以及人工智能技術(shù)在司法、金融等領(lǐng)域的應(yīng)用。曾主持“十二五”國家科技支撐計劃項目“智能視聽服務(wù)平臺研發(fā)與應(yīng)用示范”、“新華08”金融財經(jīng)數(shù)據(jù)云服務(wù)平臺科研專項課題“境外經(jīng)濟法律信息數(shù)據(jù)標準規(guī)范體系研究”等國家或省部級科研項目。以作者的身份在國際期刊或?qū)W術(shù)會議上發(fā)表多篇學(xué)術(shù)論文。

圖書目錄

第一章知識表示與推理
一、人工智能之路回顧
二、知識表示的發(fā)展脈絡(luò)
（一）形式邏輯知識表示
（二）啟發(fā)式知識表示
（三）描述邏輯
三、知識表示的認知理論
（一）知識、表示與語言
（二）知識表示的評價
四、知識獲取
（一）知識建模
（二）語言表達能力與計算效率
第二章知識本體
一、“本體”的哲學(xué)起源
一、人工智能“本體”
（一）知識表示本體
（二）知識管理本體
（三）本體與萬維網(wǎng)的結(jié)合
一、形式化本體與知識表示
四、法律領(lǐng)域知識本體
（一）法律知識本體的功能分類
（二）法律相關(guān)的知識本體
（三）基于常識的法律核心本體
五、法律知識交互標準
（一）作用范圍
（二）層次化概念組織體系
第三章知識本體語言
一、語義網(wǎng)的發(fā)展
二、語義網(wǎng)基礎(chǔ)概念
（一）字符編碼
（二）統(tǒng)一資源標識符
（三）命名空間
（四）語義標記詞匯
三、資源描述框架
（一）RDF序列化語法
（二）RDF Schema詞匯描述語言
四、網(wǎng)絡(luò)環(huán)境下的知識表示
（一）OWL1
（二）OWL2
第四章知識本體工程方法
一、知識本體開發(fā)過程
二、設(shè)計指標和開發(fā)方法
（一）本體設(shè)計指標
（二）本體開發(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)系
（二）因果推理
（三）因果表示
五、行為的表示
參考文獻