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