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

定　價(jià)：￥68.00

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

購(gòu)買這本書(shū)可以去

ISBN：	9787509672082	出版時(shí)間：	2020-06-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	151	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

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