您的当前位置是：第一章 绪论>>学习资源>>拓展阅读

1．基于Ontology的智能信息检索研究

介绍Ontology的基本概念及Ontology在信息检索中的应用前提下，提出了一个基于Ontology的智能信息检索设计方案。利用Ontology中规范的概念及概念之间明确的关系描述，使信息检索过程更加智能化。

2．机器定理证明中的一般问题

从人工智能角度阐释了机器定理证明的重要意义，综述了以逻辑方法为重点的定理证明器的一般问题，如搜索策略、化简、语义、抽象、发现相关公理以及它涉及的一般软件工程问题。