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

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

　　刘振宇，博士，现为中国政法大学法治信息管理学院副教授。2006年在英国伯明翰大学获得计算机科学博士学位。主要研究方向为计算智能、强化学习，以及人工智能技术在司法、金融等领域的应用。曾主持“十二五”国家科技支撑计划项目“智能视听服务平台研发与应用示范”、“新华08”金融财经数据云服务平台科研专项课题“境外经济法律信息数据标准规范体系研究”等国家或省部级科研项目。以作者的身份在国际期刊或学术会议上发表多篇学术论文。

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