基于用户自添加规则的自动推理程序Ⅱ

本文设计的算法基于前推搜索法,通过对推理规则的特征化处理,有效地解决了用户自添加推理规则到推理规则库中这一技术难题,并将算法编制成了一个通用软件。对于某些规则的特殊情况如何处理,也是非常重要的。我们不可能要求用户在添加一条规则时,将其各种特殊情形也作为规则添加。本文提出的算法使得这一问题得以圆满解决。     

可由用户持续发展的几何自动推理平台的推理算法

目前的几何定理证明器都不具有可持续性。提出一种结构具有一般性的知识表示和能够统一处理所有规则的推理算法，初步实现了可由用户持续发展的几何自动推理平台。该推理平台允许用户添加几何知识，如几何对象、谓词和规则，并可以综合使用多种推理算法，如前推搜索法和一部分面积法，它将更适合用于几何教学。     

基于等价类推理的几何自动推理网

为了提高推理引擎的推理效率,将Rete算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用Lisp语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表明该推理引擎具有更高的推理效率.     

基于前推法的几何信息搜索系统

我们提出并实现了几何信息搜索系统，它可用于找出所给几何图形的“所有”性质，记ＧＰ为一给定的几何谓词之集，ＬＭ为涉及ＧＰ中谓词的某些几何引理之集。若ＬＭ中的引理不引入新的几何元素，则用ＧＩＳＳ能找出所有能由ＬＭ中引理推出的身体性质。     

自动推理中反证法的研究

计算机自动解几何问题,已经有不少研究成果.前推搜索法能够产生可读证明,因此也是应用较多的一种方法.在目前诸多算法中,一般是采用直接证明的方法.在手工证明几何问题的方法中,间接证明也是一种重要的方法,其中反证法是较为有效的方法之一.在计算机自动推理研究中,如何运用反证法,是自动推理中的一个难题,关于这方面的研究成果也少有报道.给出一个算法:根据命题的结论将命题分类,针对不同类型,设计不同的解决方案.有效地实现了反证法在自动推理中的运用.     

基于元素命名规则的SQL语句自动构造

通过表单元素命名规则来指导基本的SQL语句的构造，达到快速、高效、稳定的开发效果。     

基于面向对象的几何定理自动证明系统设计与实现

针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统。该系统结构简单、清晰,可扩展性强,并能产生可读证明过程。实例分析说明了该原型的有效性。     

基于规则的自动语义转换方法研究

针对信息集成领域中各异构数据源间的语义冲突问题，提出基于转换规则集的自动语义转换方法。该方法根据规则，利用触发器自动完成对集成数据的实时语义转换。实践证明本方法能有效地对数据源端的变化数据，完成实时语义转换。本方法适用于对当前企业中仍大量存在的多个异构数据源进行混合集成的情形。     

基于本体的平面几何规则自动生成方法的研究

平面几何领域规则生成主要是对领域内的内在联系进行提取或进行问题求解.关键规则目前主要依赖领域专家的编写,不具有扩展性和可持续性.通过对自然语言描述的平面几何定理的分析,构建其对应的对象和关系模型,提出了一种自动提取和生成几何关系模型对应规则的方法,以平面几何定理的机器证明为例,验证了此方法的可行性.改进方法还可进一步扩展至其它领域规则的自动生成.     

基于几何推理的装配序列自动规划研究

以问题规约的求解策略和分解法规划产生的装配序列,提出与或图表达装配体拆卸序列解空间,通过求解拆卸序列与或图的解空间,得到装配体的拆卸序列;将拆卸序列反向得到装配序列,为降低装配体拓扑联接图的复杂度,以作业组件做出识别,文中提出判断零件可拆卸性的三个条件,使大部分零件无需进行干涉检验,而由逻辑推理即可判断是否满足拆卸条件,避免了多次试凑,有更高求解效率,可更广泛地用于装配序列求解上。     

基于模糊技术的推理机设计

本文详细阐述了在模糊知识库设计与实现中模糊推理机构造和工作流程设计的方法，给出了面向对象的类设计。     

基于图形软件EGS的用户界面的设计

EGS是运行于多种工作站环境的图形软件,它同时包括用于用户界面设计的基本的窗口工具。本文在介绍EGS的设计背景和功能特点的基础上,根据用户界面的基本模型和设计原则,结合集成化电子CAD系统(EDCADS)和工程数据库管理系统(EDBMS/2)等系统的用户界面的设计和实现,提出了满足实用性和可移植性的图形软件和用户界面的设计方法。     

一个基于知识库及其自动推理机制的ICAI(化学)系统

设计并实现了一种新型的ＩＣＡＩ系统。该系统以自动推理技术为基础,利用化学知识库,不仅实现了ＩＣＡＩ的知识集散功能,还成功地实现了知识揭示功能,不同于常垢ＩＣＡＩ的单纯检索－播放作用,该系统还具有化学用语层次上的人－机交互、基于自动推理的化学式与中文名称的双向翻译、化学问题求解等多多种智能功能。该系统还具有开放性,可以让用户在使用中调整系统的性能、补充存储的知识信息。该文比较了新型系统与流行的常规系     

基于反软解密分析的共享软件保护

注册信息验证部分是共享软件保护的关键点,很容易被破解者攻击.从非算法角度,对共享软件作了软解密分析,提出了完善现有共享软件保护技术的方法.     

一个基于Internet的软部件信息系统的研究和实现

当前对软部件技术的研究多数侧重于软部件的制作、存储、检索、裁剪和组装等问 题，且往往过分强调了以上问题而忽略了另一个非常重要的方面，即部件的生产者与部件的 使用者之间、生产者与生产者之间、使用者与使用者之间的充分的信息交流和有效协作问题 ．从这一思想出发，本文提出了一个基于Internet的软部件信息系统，讨论了它的思想、基 本模型及其实现．     

基于词性组合规则改进的中文句子极性判断方法

介绍基于词性组合规则改进的中文句子极性判断方法,提出一种基于半监督学习的中文句子极性判断框架。在传统的完全基于情感词典方法的基础上,结合词性组合规则这一重要特征对中文句子进行极性判断。首先,分析中文句子中情感短语、情感词语的词性组合规则。然后,将情感短语、情感词语的词性组合规则用于中文句子极性判断。根据词性组合规则集抽取评测句子中的候选情感短语、情感词语;而后,计算句子的情感信息总量和句子的情感值,根据句子的情感信息总量将句子分为主观句、客观句,根据句子的情感值将主观句子分为积极情感句、消极情感句、中立情感句。实验结果证明,该方法在主客观分类上F值较高,可以达到77.4%;在主观句情感分类上,可达到的F值为62.5%。相比较于已有方法,基于词性组合规则改进的中文句子极性判断方法的F值有了明显的提高。