论文研究改进γ公式的表推演推理方法研究.pdf
表推演方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,因此成为目前最普及的自动推理方法之一。在表推演实现时,对γ规则应用次数的限制至关重要,限制次数直接影响表推演的推理效率。给出识别γ公式方法,提出了含γ公式的表推演推理的改进策略,并进行了理论证明和系统实现,该系统与leanTAP软件包进行了对比实验。通过对Pelletier问题的20个实例分析,可以看出γ公式不再需要实例化,大大缩短了表推演的证明过程,减少了搜索空间,提高了推理效率。
用户评论
相关推荐
论文研究空间关系推理的研究方法.pdf
通过叶片图像分析植物生长状况是目前农林领域的热点问题之一。此类图像中，如何去除背景干扰，获得视觉兴趣区域是研究的重点内容。为将外界噪声降到最低，本文采用灯箱设备采集植物叶片图像，考虑到人眼视觉特性，将
PDF
910KB
2020-07-16 08:54
推理公式法计算洪峰方法研究
推理公式法计算洪峰方法研究，张福龙，，我国现有的水文测站较少，但雨量站分布较丰富.在无流量资料且流域面积较大的地区，利用水文图集上等雨量线的值和其他参数来进行�
PDF
0B
2020-02-16 07:45
论文研究的模糊推理.pdf
在分析视频图像HSV差分图和差分图直方图的基础上，根据差分直方图中目标与阴影的像素分布特点，提出了一种基于最大类间方差的自适应加权阴影检测算法。实验表明，该算法具有检测精度高、效果好、适应性强和易于工
PDF
0B
2020-01-03 04:35
论文研究命题公式的随机真度与推理规则.pdf
在[n]值Lukasiewicz命题逻辑系统中，引入命题随机真度的概念，给出了随机真度的一个计算公式，研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在[n]值Luka
PDF
513KB
2020-07-16 17:54
论文研究基于案例推理的应急辅助决策方法研究.pdf
将案例推理的方法应用到应急决策中，为应急决策提供了一种实用的科学辅助方法。在分析了应急案例特征的基础上设计了一种基于概念树—突发事件本体模型—事件元模型三层架构的应急案例通用的案例描述与组织方法；根据
unkonw
0B
2020-04-12 02:33
论文研究灰色预测公式的理论缺陷及改进.pdf
论文研究-灰色预测公式的理论缺陷及改进.pdf, 分析GM(1,1)预测模型存在的理论缺陷,指出在形成预测公式时规定^X(1)(1)为已知条件是不合理的,应当根据实际情况选用其他数据.本文对原公式进行
PDF
0B
2020-02-22 07:21
论文研究基于SWRL推理机制的研究.pdf
基于SWRL推理机制的研究，王松，李冠宇，本体推理是语义网研究的一个热点问题，目前大多数查询系统都是专家系统，但在专家系统中，知识的表现形式都存在各种不足，本文在
PDF
0B
2019-09-07 04:42
论文研究改进的.pdf
随着大量Web服务的出现，迫切需要高效的服务发现方法。语义Web服务将Web服务和语义相结合，充分利用语义增强Web服务。现有的语义Web服务发现研究中，大多采用同一本体描述服务需求方和提供方的知识。
PDF
662KB
2020-07-24 03:54
论文研究基于JADE的兵棋推演系统研究.pdf
基于JADE的兵棋推演系统研究，刘转，李德华，针对传统兵棋推演系统在缺乏描述复杂系统的能力，以及缺乏对动态环境的行为建模能力的缺点，本文构建一个基于JADE的兵棋推演系统��
PDF
0B
2020-03-27 03:19
论文研究中公式的.pdf
在移动终端内容安全检测中，“黑名单”过滤是一种常用的手段，但有限的存储空间制约了它的应用。根据“黑名单”过滤特点研究了一种多串匹配算法的改进，以Aho-Corasick算法为例，采用两种启发式策略从不
PDF
0B
2019-09-26 05:20
论文研究基于案例推理的多故障诊断方法研究.pdf
在分析多故障模式特点的基础上，建立了面向多故障的案例知识库，并提出了一种基于二次检索策略的多故障诊断方法。采用基于权重隶属度的候选案例生成方法对案例库进行初步检索，有效地减少了候选案例的数量；通过灰色
PDF
0B
2019-07-26 23:42
论文研究非一致OWL本体的推理方法研究.pdf
针对目前OWL推理机无法在非一致本体上进行推理的问题，提出了一种基于回答集程序的非一致本体推理方式，将OWL本体翻译为一类逻辑程序：HEX回答集程序，把本体推理问题规约为回答集程序求解问题。并通过在非
PDF
0B
2020-05-14 23:49
论文研究改进.pdf
多视几何中的多种问题可以通过最小化L∞范数误差获得全局最优解。但最小化L∞范数误差算法的缺点是对外点敏感，相关的改进算法虽然可以克服外点带来的影响，但计算速度较慢。提出一种改进的最小化L∞范数误差算法
PDF
0B
2020-04-29 21:28
论文研究基于改进EMD的语音增强方法研究.pdf
基于改进EMD的语音增强方法研究，卢志茂，孙美玲，EMMD分解后的信号虽然解决了EMD中存在的端点效应问题，但是存在音乐噪声，因此，本文提出一种基于EMMD/MMSE的语音增强方法。该算法是��
PDF
0B
2019-09-03 06:03
论文研究基于CPNTools的抑制弧改进方法研究.pdf
在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使用的Petri网模型工具CPNTools中没有直接提供抑制弧,仅给出
PDF
0B
2019-09-09 03:38