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

**章 知识表示与推理
一、人工智能之路回顾
二、知识表示的发展脉络
（一）形式逻辑知识表示
（二）启发式知识表示
（三）描述逻辑
三、知识表示的认知理论
（一）知识、表示与语言
（二）知识表示的评价
四、知识获取
（一）知识建模
（二）语言表达能力与计算效率

第二章 知识本体
一、“本体”的哲学起源
一、人工智能“本体”
（一）知识表示本体
（二）知识管理本体
（三）本体与万维网的结合
一、形式化本体与知识表示
四、法律领域知识本体
（一）法律知识本体的功能分类
（二）法律相关的知识本体
（三）基于常识的法律核心本体
五、法律知识交互标准
（一）作用范围
（二）层次化概念组织体系

第三章 知识本体语言
一、语义网的发展
二、语义网基础概念
（一）字符编码
（二）统一资源标识符
（三）命名空间
（四）语义标记词汇
三、资源描述框架
（一）RDF序列化语法
（二）RDF Schema词汇描述语言
四、网络环境下的知识表示
（一）OWL1
（二）OWL2

第四章 知识本体工程方法
一、知识本体开发过程
二、设计指标和开发方法
（一）本体设计指标
（二）本体开发方法
三、基本性概念的定义
四、本体的集成与复用
（一）本体的可复用性
（二）本体复用的安全性
（三）本体复用约束
五、元属性
六、结构化设计模式
（一）模式与语义
（二）本体工程设计模式
（三）知识模式

第五章 法律本体的设计与实现
一、结构化概念表示与模型解释
（一）本体表示的模型解释
（二）结构化概念
（三）法律领域常用的设计模式
二、交换行为的互易性
三、多元关系与社会概念
（一）多元关系
（二）社会概念
（三）谓词化表示
四、变化与序列
（一）因果关系
（二）因果推理
（三）因果表示
五、行为的表示

参考文献