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

摘要

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

目录

第1章 绪论

第2章 知识与知识表示方法的研究

第3章 基于概念图知识表示方法的研究

第4章 集合概念及运算的概念图表示与实现

第5章 二元关系若干性质的表示、推理及判断

第6章 论文总结与展望

致谢

参考文献

攻读硕士学位期间发表学术论文情况

声明