论文部分内容阅读
基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF（X）中归结自动推理问题,以格值一阶逻辑LF（X）的α-归结原理为理论基础,通过对例子进行分析,提出了LF（X）中简单广义子句集的归结自动推理算法,并证明了该算法的可靠性和完备性。
基于格值一阶逻辑LF（X）的自动推理算法
【摘 要】
：
基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF（X）中归结自动推理问题,以格值一阶逻辑LF（X）的α-归结原理为理论基础
【机 构】
：
东北财经大学管理科学与工程学院,西南交通大学智能控制开发中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年23期
其他文献
指定验证人代理签密要求代理签密人只能对发给指定验证人的信息代理原始签密人签密,而其他人则不能代理原始签密人签密。基于指定验证人代理签密和自认证密码系统的理论,一个
研究智能天线通道不一致性的注入校正方法。基于WCDMA移动通信系统智能天线通道的物理层协议标准,提出一种新的注入校正方法。该方法首先采用搜索器估计通道的复增益,然后利
在保证同等音质的前提下,为降低语音编码器中分数基音估计的复杂度,提出一种基于多项式拟合的分数基音估计算法。以整数点相关度序列为基础,在其最大值点附近进行多项式拟合,
全民健身计划是一个功在当代、利在千秋的系统工程 .学校体育是国民体育的基础 ,是全民健身计划的基础和重点 .本文试图从全民健身的角度考虑学校体育的改革问题 ,使人们树立
提出了一种基于Hilbert-Huang变换的语音增强方法。首先利用经验模态分解方法（Empirical Mode Decomposition,EMD）,选择合适的固有模态函数对含噪语音进行初步降噪,然后根据信
分析了超声波测厚仪测量线膛火炮身管壁厚差的不确定度来源,并给出了其测量结果不确定度评定方法,可为火炮身管壁厚差超声测量结果的质量控制提供参考。
分析了南京师范大学生物学外文数据库的使用现状,并对其进行了相应的绩效评价,对高校图书馆如何提高外文数据库的利用率提出了对策和建议。
无线传感器网中许多敏感、机密的数据需要加密保护。但受限于网络本身的特点,难以直接应用有线网中现有的安全技术,而需要更加高效的加密方式。在前人的基础上,改进并提出了