基于概念图知识表示方法的研究与实践

论文摘要

概念图作为一种新的表示知识方法,语义表达能力强,可读性好,有效弥补了传统知识表示方法的不足。它的研究与应用,必将为解决知识获取瓶颈,促进人工智能和专家系统的发展,起到积极的作用。论文扼要介绍了知识和知识表示的基本概念,在认真研究传统知识表示方法的基础上,总结了一个好的知识表示方法所应该具备的性质。研究了概念图的定义、表示形式及其格结构。结合概念图与谓词逻辑的关系,探讨了基于概念图的推理,比较分析了概念图知识表示方法的优点。论文简介了实现工具Prolog的基本语法、结构和特点,给出了基于概念图知识表示,并用Prolog实现问题求解的基本步骤。实现了简单的集合概念及基本运算。讨论了集合上二元关系的性质及运算,重点研究了闭包运算的实现、扩展,和用以判断等价、偏序等组合关系的应用。针对实例运行结果中产生重复解的问题,分析了产生原因,设计了合适规则,给出了有效的解决方法,最终实现了问题求解与结果分析的完全自动化。论文最后总结了课题研究的主要成果及进一步的工作展望。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 国内外研究及应用现状
• 1.2 论文研究的意义
• 1.3 论文研究的主要工作
• 1.4 论文的组织结构
• 第2章 知识与知识表示方法的研究
• 2.1 人工智能
• 2.1.1 人工智能概述
• 2.1.2 人工智能的主要应用领域
• 2.2 专家系统
• 2.2.1 专家系统的定义
• 2.2.2 专家系统研制的基本步骤
• 2.2.3 专家系统的知识构成
• 2.3 知识
• 2.3.1 知识的概念及分类
• 2.3.2 知识的属性
• 2.4 知识表示
• 2.4.1 知识表示的基本概念
• 2.4.2 知识表示原理
• 2.4.3 从知识表示角度对知识的分类
• 2.4.4 传统知识表示方法
• 2.5 本章小结
• 第3章 基于概念图知识表示方法的研究
• 3.1 概念图概述
• 3.1.1 概念图的定义
• 3.1.2 概念图的表示形式
• 3.2 概念图中的格结构
• 3.2.1 传统格理论
• 3.2.2 概念格
• 3.2.3 概念图中的格结构
• 3.3 基于概念图的推理
• 3.3.1 概念图与谓词逻辑的关系
• 3.3.2 用概念图表示规则
• 3.3.3 概念图的推理
• 3.4 概念图方法的特点
• 3.5 本章小结
• 第4章 集合概念及运算的概念图表示与实现
• 4.1 Prolog概述
• 4.1.1 Prolog的基本语法
• 4.1.2 Prolog的结构
• 4.1.3 问题求解的步骤
• 4.1.4 Prolog的特点
• 4.2 实现集合运算
• 4.2.1 表的表示与实现
• 4.2.2 集合的表示方法
• 4.2.3 集合上的基本运算及实现
• 4.3 本章小结
• 第5章 二元关系若干性质的表示、推理及判断
• 5.1 集合上二元关系的若干基本性质
• 5.2 闭包求解
• 5.2.1 传统闭包求解方法
• 5.2.2 实现二元关系的闭包运算
• 5.2.3 举例
• 5.3 扩展
• 5.4 重复解消除的实现方案
• 5.4.1 重复解的产生
• 5.4.2 设计思想及方案
• 5.4.3 程序实现
• 5.5 本章小结
• 第6章 论文总结与展望
• 6.1 论文总结
• 6.2 后期工作展望
• 致谢
• 参考文献
• 攻读硕士学位期间发表学术论文情况