法律知识形式化管理理论及工程方法

随着依法治国战略的实 施，社会经济生活对法律信 息和内容的需求日益增大， 亟须更为智能的法律知识表 示方法和技术以实现对法律 信息的高效检索和知识管理 。基于人机交换理论的知识 管理技术是实现法律语义应 用开发的基础，它不仅涉及 信息表示的语法层面，还在 语义层面实现信息交换的含 义共享，进而实现基于知识 的自动推理。本书以“本体” 作为一种知识表示的方法， 致力于分析“本体论”的定义 ，专题介绍“法律本体”作为 法律知识的形式化表示方式 和当前文献中存在的法律本 体的广泛解释，以及知识获 取、知识提取、建模方法、 本体构建工具等和本体相关 的问题。

第一章 知识表示与推理 一、人工智能之路回顾 二、知识表示的发展脉络 (一)形式逻辑知识表示 (二)启发式知识表示 (三)描述逻辑 三、知识表示的认知理论 (一)知识、表示与语言 (二)知识表示的评价 四、知识获 (一)知识建 (二)语言表达能力与计算效率 第二章 知识本体 一、“本体”的哲学起源 二、人工智能“本体” (一)知识表示本体 (二)知识管理本体 (三)本体与万维网的结合 三、形式化本体与知识表示 四、法律领域知识本体 (一)法律知识本体的功能分类 (二)法律相关的知识本体 (三)基于常识的法律核心本体 五、法律知识交互标准 (一)作用范围 (二)层次化概念组织体系 第三章 知识本体语言 一、语义网的发展 二、语义网基础概念 (一)字符编码 (二)统一资源标识符 (三)命名空间 (四)语义标记词汇 三、资源描述框架 (一)RDF序列化语法 (二)RDF Schema词汇描述语言 四、网络环境下的知识表示 (一)0WL1 (二)0WL2 第四章 知识本体工程方法 一、知识本体开发过秽 二、设计指标和开发方法 (一)本体设计指标 (二)本体开发方法 三、基本性概念的定义 四、本体的集成与复用 (一)本体的可复用性 (二)本体复用的安全性 (三)本体复用约束 五、元属性 六、结构化设计模式 (一)模式与语义 (二)本体工程设计模式 (三)知识模式 第五章 法律本体的设计与实现 一、结构化概念表示与模型解释 (一)本体表示的模型解释 (二)结构化概念 (三)法律领域常用的设计模式 二、交换行为的互易性 三、多元关系与社会概念 (一)多元关系 (二)社会概念 (三)谓词化表示 四、变化与序列 (一)因果关系 (二)因果推理 (三)因果表示 五、行为的表示 参考文献