一种基于超连接的一阶逻辑反演推理算法

研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率．以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

一种基于一阶谓词逻辑的模型表示方法

给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制。     

一阶逻辑推理有效性的探析

基于一阶逻辑相关概念的内涵[1],结合恰当的反例,探析了一阶逻辑推理规则成立的条件[2].     

程度化的格值一阶逻辑及不确定性推理研究

1项目的研究意义人工智能的主要目标在于研究用机器来模仿和执行人脑的某些智力功能,并发展相关的理论和技术。人类主要的思维活动包括推理、判断和决策,这些思维活动反映了人脑所具有的某些智力功能,而这些智力功能大都包含着推理,因此人工智能研究的核心问题之一应该是使     

Tableau算法在粗逻辑知识推理中的应用

Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。     

基于一阶模糊逻辑公式的有限解释真度的推理理论

通过给出公式的有限解释真度的平均值不变性定理,得到了一系列推理规则：平均值MP规则、平均值HS规则、平均值交推理规则．     

基于动态模糊逻辑的数值化推理方法研究

基于动态模糊逻辑,提出了数值化推理方法。     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

一阶逻辑模型生成器的实现

介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法, 在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤. 并对实现的模型生成器与MACE进行了对比测试与结果分析.     

基于一阶逻辑的非一致性关系数据管理

对于给定的约束,数据库可能是非一致的.为了获得一致性结果,基于一阶逻辑,提出非一致性关系数据管理框架,研究多种合取查询类型对应的连接图及其连接的充分性,分析一致性查询应答的计算复杂度.在查询连接类型是键-键、非键-键或不充分的键-键,且查询对应的连接图是非环的情况下,一致性查询应答的计算在多项式时间内是可解的.针对大量实际的易处理合取查询,给出查询重写算法获得可重写的查询.算法首先判断初始查询是否为可重写,再基于连接图进行递归计算构造一致性识别语句,然后,与初始查询合取产生一个新的一阶重写查询,用于计算一致性结果.对于非环的自连接查询,由于递归重写算法不能剔除非一致性元组,因此,采用初始查询获取了用于剔除违反键约束的非一致性元组的语句.     

向量值一阶逻辑及其可靠性定理

讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。     

一个基于谓词逻辑的金融投资辅助决策系统

谓词演算作为一种智能表示的语言，箕优点是精确定义的形式语义，合理而完备的推理规则．使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题．现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究．     

基于一阶谓词和范畴论的形状与形状型

为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.     

基于集对逻辑的推理

集对分析是一种新的处理确定与不确定性互相联系，用联系数来描述系统联系与转化的同一度、差异度和对立度的不确定性的方法．利用集对分析，提出了集对逻辑推理，并讨论了集对逻辑推理的有关性质和运算．     

一种基于证据表达的缺省推理继承网络算法

缺省推理的继承网络算法在解决常识性推理问题时遇到了新的困难,即不确定性,本文提出了证据表达,最大熵原理和证据继承的三种技术,实现了一种基于证据表达的缺省推理继承网络算法。     

一种快速推理算法──索引法

在概述索引技术在人工智能（ＡＩ）各领域应用情况的基础上，提出了索引推理的思想，并详细讨论了以谓词逻辑表示知识时的索引推理算法。     

基于自适应梯形算法的一阶常微分方程数值解法

一般情况下,关于一阶常微分方程数值的求解往往采用4阶Runge-Kutta法、4阶Adams法、复化梯形法来解决,不过这3种解法在计算精确度及时间上都不具备优势.基于此,提出了自适应梯形算法,通过算例表明,该算法求解一阶常微分方程数值问题具有可行性,在计算精确度与时间上具有优越性.     

一种大规模线性规划问题的递阶算法

导出了一种新的求解大规模一规划问题的递阶算法。它的协调级为用迭代法求解低阶线性代数方程组，和一级仅需求一系列低维线性规划，且充分利用了上次迭代的结果，大大提高了运算效率，比较详细地研究了此算法的收敛性，所得结果对问题的分解有明确的指导意义，最后，运用该算法求解某水利工程项目中的大规模线性规划问题。结果表明，本法收敛速度快，求同维问题时明显优于通常的修正单纯形法。