基于WordNet与Wikipedia的平面几何本体的构建

针对目前本体构建中存在的如手工构建难以确保高效性和可扩展性,且自动构建难度大,可操作性不强等研究现状,提出了一种基于WordNet和Wikipedia的学科领域本体半自动构建方法。首先构建一个领域顶层本体,在此基础上,重用WordNet的结构,从深度上对其进行术语和术语层次的扩展;同时根据Wikipedia中的页面信息,从广度上对其进行术语间关系的扩展和术语的补充;并将该本体构建方法应用于平面几何领域。实验表明该方法能大大提高本体构建的效率,并在一定程度上保证了本体的质量。     

COM技术在人T智能程序设计中的应用

组件对象模型(COM)技术是微软许多软件的基础和未来发展的方向,它提供了跨开发工具、操作系统和网络的开发方式。Lisp是在人工智能领域中应用最广泛的计算机语言,但是在面向对象的程序设计中存在诸多不足。COM技术在人工智能领域的应用,可以将用Lisp开发的人工智能推理核心与其它的开发工具(VB、VC++或VJ++等)开发的应用集成,发挥各自的优势,从而达到跨开发工具协同工作的目的。本文主要论述了如何利用COM技术将人工智能推理核心与其它前端应用集成,提出了一套完整的解决方案,并成功地将该技术应用在智能教育软件的开发中,取得了较好的效果。     

XML-CORBA框架的设计与实现

因为安全的问题，防火墙阻塞了除HTTP协议以外的所有协议。设计XLM—CORBA框架可克服Internet和0RB对象通讯的困难。它利用XML来通讯，XML是以文本为基础的，可以被HTTP所传输，可以穿越防火墙。提出了框架设计的思想，并阐述了设计的具体步骤和它的实现。     

三角函数表达式的计算机自动化简

从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表.利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程.有关算法已用Lisp编程实现.文中将它与Maple9和Mathematica作了测试对比,结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica.     

A recursive algorithm for constructing generalized Sturm sequence

The generalized Sturm sequence is used to determine the number of real roots of a polynomial f(x) subject to h(x) >0 where h(x) is another polynomial. To construct this sequence, the original procedure is almost the same as Euclidean algorithm, so it is terribly inefficient for polynomials with symbolic coefficients. A new method is developed instead, which succeeds in avoiding the high computational complexity caused by the division algorithm.     

基于Ontology的平面几何知识库设计

文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例，先从总体上介绍了Ontology建模方法的思想，框架结构及优点，再详细描述了平面几何知识库的设计、组织结构及其实现，我们提出概念分层，等价类存贮、启发式双向推理、推理经验生成，交互解题，数字测试等多种平面几何知识库的相关技术，能生成与“吴法”等代数方法不同的、传统的、较优的可读证明，并提高了系统的重用性、可靠性、可维护性和知识扩展性。     

快速发现任意形状的聚类

提出FFCAS（Fast Finding the Clusters of Arbitrary Shape)聚类算法，用于快速发现任意形状的聚类，先将每个对象分配到很小的ε－邻域，即原子聚类，然后找出高浓度的核心原子聚类，再消除所有的冗余原子聚类，仅用边界来表示聚类，大大减小了存储空间。因为ε是一个很小的值，原子聚类能自然地描述聚类。该算法最坏时间复杂度为O（n log n)(n为数据库中的对象个数），只需访问一次数据库，实验表明，FFCAS运行时间与数据库中的对象数目成线性关系，能发现任意形状的聚类，对异类的敏感性低，对大型、高维数据库也有效。     

仿分子动理学数据聚类法在基因表达数据上的应用

为了识别出可能具有诊断力的特征基因,常常使用聚类的方法对基因表达数据进行分析,而仿分子动理学聚类法通过仿效分子间的作用力机制能达到对数据聚类的目的。仿分子动理学聚类技术不需要预设簇个数,且可用于估计数据中的簇个数。该方法被应用于基因表达数据,结合相关指标用以估计数据中存在的簇个数和发现可能具有诊断力的特征基因。实验与分析结果显示了仿分子动理学聚类技术具有良好的知识挖掘能力。     

语音词汇网单词联想记忆

语音联想记忆是一种高效的记忆方法。为了给学习者提供语音联想的素材,引导学习者进行语音联想,熟悉读音规则,加深对单词拼写和发音的记忆,帮助学习者建立字母组合与相关发音间的双向认知,提出一种基于语音的词汇网。语音词汇网是基于常见字母组合和单词读音之间的差异构建的,因此其中既包含了语音近似度信息,也包含了一定的单词结构信息。利用该网络,学习系统不但可以实现语音联想功能,还能提供语音方面的相关统计信息。语音词汇网的引入能进一步完善单词学习系统的联想记忆功能。     

基于社交图谱模型的虚假评论识别

为了改善电商虚假评论自动识别的效果,首先从传统的监督学习方法入手对网上商品评论的真实性进行判断,进而提出了利用社交图谱识别虚假评论。这种方法基于一种假设,就是同类用户通常在是否欺骗等行为上有相似性,将其结合传统的分类学习框架进行训练分类,实验结果显示社交图谱的方法能提高5'的识别准确率。