基于产生式规则和归结原理的农业专家系统 被引量：4

1

作者 刘秋红 焦仁普 +2 位作者 张钰 李娟 王哲 《安徽农业科学》 CAS 北大核心 2008年第10期4307-4309,共3页

利用农业植物病理学的专家知识,将各种病虫害的诊断方法做成一个专家系统。该系统利用产生式规则推断症状群与疾病群的关系,利用Robinson归结原理分析这些规则,用启发式搜索的方法推断出病害。为计算机在农业方面的应用提供了新的例证。

关键词 产生式规则 专家系统 归结原理

在线阅读 下载PDF 职称材料

算子Rough逻辑及其归结原理 被引量：9

2

作者 刘清 《计算机学报》 EI CSCD 北大核心 1998年第5期476-480,共5页

本文基于Rough集理论定义了算子η及其合成运算，并用它作用于Rough逻辑公式，从而得到了带算子的Rough逻辑．讨论了这种逻辑公式的真值、语义模型、性质、归结原理及完备性定理和它的证明．

关键词 ROUGH集 算子Rough逻辑 归结原理 计算机

在线阅读 下载PDF 职称材料

基于格值一阶逻辑LF(X)的多元α-归结原理的注记 被引量：1

3

作者 刘熠 徐扬 贾海瑞 《计算机工程与应用》 CSCD 北大核心 2015年第14期51-56,190,共7页

进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的... 进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的有效性进行了一定分析;这为建立基于LF(X)的多元α-归结方法以及构造多元α-归结算法建立了理论基础。 展开更多

关键词 格蕴涵代数 格值一阶逻辑 多元α-归结原理

在线阅读 下载PDF 职称材料

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 被引量：1

4

作者 刘熠 徐扬 贾海瑞 《计算机科学》 CSCD 北大核心 2015年第4期249-252,280,共5页

进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有... 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。 展开更多

关键词 格蕴涵代数 格值命题逻辑 多元α-归结原理

在线阅读 下载PDF 职称材料

基于归结原理的可扩展标识语言问题求解

5

作者 石军 常义林 《系统工程与电子技术》 EI CSCD 北大核心 2004年第11期1718-1722,共5页

针对可扩展标识语言(extensiblemarkuplanguage,XML)与说明描述理论结合的XDD(XMLdeclarativedescrip tion)语言是非过程的,只提供解决问题的机制,而不是解决问题的方法,论证了在XDD中应用归结原理解决问题的可行性,证明了归结过程是一... 针对可扩展标识语言(extensiblemarkuplanguage,XML)与说明描述理论结合的XDD(XMLdeclarativedescrip tion)语言是非过程的,只提供解决问题的机制,而不是解决问题的方法,论证了在XDD中应用归结原理解决问题的可行性,证明了归结过程是一个等价变换的过程,给出了求解过程,为求解XML问题提供了一种简洁有效的方法,为建立基于XML的智能信息关系奠定了基础。 展开更多

关键词 可扩展标识语言 说明描述 问题求解 归结原理

在线阅读 下载PDF 职称材料

广义支撑集归结原理

6

作者 陈斌 《北方交通大学学报》 EI CSCD 北大核心 1998年第2期70-72,88,共4页

广义归结是对Ｊ．Ａ．Ｒｏｂｉｎｓｏｎ普通归结的推广．支撑集策略是提高归结效率的有效方法．本文将支撑集策略引入广义归结中，提出了广义支撑集归结方法，并证明了它的完备性．

关键词 归结原理 广义归结 支撑集 定理机器证明

在线阅读 下载PDF 职称材料

SLDNF-归结原理关于模态语义的完备性(英文)

7

作者 魏耀华 唐峰 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2000年第3期49-55,共7页

Baratella定义了正规谓词逻辑程序的模态完全化语义 ,并证明了该语义关于 SL DNF-归结的部分完备性 .本文首先给出了逻辑程序的模态直承算子 ,并研究了相关的理论性质 ,进而证明了模态完全化语义关于 SL DNF-归结的完备性 .

关键词 逻辑程序 模态语义 完备性 SLDNF归结原理

在线阅读 下载PDF 职称材料

格值命题逻辑系统LP(X)的语义归结方法 被引量：2

8

作者 张家锋 徐扬 何星星 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2011年第4期611-614,共4页

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。

关键词 自动推理 语义归结方法 格值逻辑 格蕴涵代数 α-归结原理

在线阅读 下载PDF 职称材料

基于模糊神经网络的Horn集上的输入归结 被引量：1

9

作者 裴峥 黄天民 《西南交通大学学报》 EI CSCD 北大核心 2002年第5期565-569,共5页

关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的... 关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的特点 ,结合输入归结的优点 ,进行Horn集上的输入归结。 展开更多

关键词 模糊神经网络 HORN集 模糊逻辑系统 归结原理 输入归结 人工智能 机器证明

在线阅读 下载PDF 职称材料

动态模糊逻辑(DFL)的归结策略 被引量：3

10

作者 李凡长 《计算机工程》 CAS CSCD 北大核心 2001年第3期86-89,118,共5页

主要讨论ＤＦＬ谓词描述下的归结推理方法，它是一种机器化的可在计算机上加以实现的推理方法．首先介绍ＤＥＬ命题下的归结方法，最后介绍ＤＦＬ的归结原理及方法．

关键词 动态模糊逻辑 归结原理 归结策略 知识推理 人工智能

在线阅读 下载PDF 职称材料

粒计算研究现状及基于Rough逻辑语义的粒计算研究 被引量：26

11

作者 刘清 孙辉 王洪发 《计算机学报》 EI CSCD 北大核心 2008年第4期543-555,共13页

综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学... 综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学科的理论工具和方法学.讨论了粒计算中基于Rough逻辑语义的粒及其相关性质,建立了这种粒的演绎推理.提出了基于Rough逻辑语义的粒归结原理和归结策略,包括λ-归结策略和锁归结策略.证明了这种粒归结的完全性.基于Rough逻辑语义的粒在AI的问题求解、专家系统以及机器定理证明中都将成为一种新的研究思想和新的理论工具.最后,提出了这种基于Rough逻辑语义的粒计算研究前景. 展开更多

关键词 粒计算 Rough逻辑语义 粒归结原理和策略 问题求解 A-归结和锁归结策略

在线阅读 下载PDF 职称材料

格值命题逻辑系统L9P(X)中的自动推理算法 被引量：5

12

作者 李晓冰 邱小平 徐扬 《计算机工程与应用》 CSCD 北大核心 2008年第10期6-9,共4页

给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。

关键词 中界元 格值命题逻辑系统 归结自动推理 放缩归结原理 自动推理算法

在线阅读 下载PDF 职称材料

基于XML的智能决策支持系统研究 被引量：2

13

作者 李高和 张艳莉 +1 位作者 石龙 李琪 《计算机工程与应用》 CSCD 北大核心 2005年第26期177-180,187,共5页

XML渐已成为Web上数据表示和交换的通用语言。该文提出了一种基于XML的智能决策支持系统,用XDD语言描述问题和决策系统中的知识,并通过归结原理实现问题求解。该系统不仅能够利用Web信息辅助决策,而且便于实现系统内部以及系统之间的信... XML渐已成为Web上数据表示和交换的通用语言。该文提出了一种基于XML的智能决策支持系统,用XDD语言描述问题和决策系统中的知识,并通过归结原理实现问题求解。该系统不仅能够利用Web信息辅助决策,而且便于实现系统内部以及系统之间的信息交换和信息共享。 展开更多

关键词 XML 智能决策支持系统 说明描述 归结原理

在线阅读 下载PDF 职称材料

基于规则和本体的汽轮机故障分析 被引量：4

14

作者 郭庆琳 张铭 《电力自动化设备》 EI CSCD 北大核心 2009年第4期11-14,共4页

将谓词逻辑引入汽轮机故障分析系统中,首先将事实和规则化为与或形,接着采用最一般合一算法对子句集替换合一,最后采用归结原理对汽轮机的故障进行分析。同时,提出采用基于知识本体的推理方法来解决模糊知识的表达和推理问题。采用SPARQ... 将谓词逻辑引入汽轮机故障分析系统中,首先将事实和规则化为与或形,接着采用最一般合一算法对子句集替换合一,最后采用归结原理对汽轮机的故障进行分析。同时,提出采用基于知识本体的推理方法来解决模糊知识的表达和推理问题。采用SPARQL语言和Jena推理机进行模糊知识的推理。SPARQL语言使用SQL语句的查询形式,并提供知识本体查询功能,在本体中,所有的知识都是三元组的形式(〈subject,property,object〉),SPARQL只查询本体库中存储的三元组,没有推理功能。因此,把SPARQL查询嵌入在Jena推理机中,通过推理得到隐含的模糊知识三元组。实现了基于规则和本体的汽轮机故障分析仿真系统,其诊断正确率达到89%。该系统具有很高的效率及容错能力。 展开更多

关键词 汽轮机 故障分析 规则 本体 谓词逻辑 最一般合一算法 归结原理 三元组

在线阅读 下载PDF 职称材料

化LF(X)中任一公式为可归约形式的算法 被引量：1

15

作者 孟丹 宋振明 秦克云 《西南交通大学学报》 EI CSCD 北大核心 2003年第4期433-437,共5页

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究 .简述了LF(X)及其中公式的相关概念 ,证明了对LF(X)中公式进行转化的若干理论结果 ,并由此给出化LF(X)

关键词 人工智能 多值逻辑 自动推理 归结原理

在线阅读 下载PDF 职称材料

基于格值一阶逻辑LF(X)的自动推理算法 被引量：1

16

作者 李晓冰 徐扬 《计算机工程与应用》 CSCD 北大核心 2010年第23期18-20,49,共4页

基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提出了LF(X)中简单广义子句集的归... 基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提出了LF(X)中简单广义子句集的归结自动推理算法,并证明了该算法的可靠性和完备性。 展开更多

关键词 格值一阶逻辑 自动推理 α-归结原理 简单广义子句集

在线阅读 下载PDF 职称材料

格值命题逻辑系统中广义文字的正规性

17

作者 何星星 徐扬 +1 位作者 李莹芳 张家锋 《计算机工程与应用》 CSCD 2012年第10期43-46,127,共5页

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。... 基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性,给出了两种典型正规公式F1→F2和(F1→F2)'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。 展开更多

关键词 格值命题逻辑 α-归结原理 广义文字 正规性 语义性质

在线阅读 下载PDF 职称材料

基于APC的次协调自动推理系统的设计与实现

18

作者 朱三元 朱福喜 《计算机工程与设计》 CSCD 北大核心 2007年第22期5482-5484,5487,共4页

次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调系统的自动推理。设计了既能在协调的环境下,也能在不协调的环境下进行有效推理的自动推理系统,实现了提... 次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调系统的自动推理。设计了既能在协调的环境下,也能在不协调的环境下进行有效推理的自动推理系统,实现了提高推理效率的多种策略。 展开更多

关键词 次协调 注解谓词演算 归结原理 自动推理机 推理策略

在线阅读 下载PDF 职称材料

自动定理证明中的一个通用证明法 被引量：2

19

作者 吴茂康 缪淮扣 《上海大学学报（自然科学版）》 CAS CSCD 1997年第3期283-288,共6页

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完... 在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作。 展开更多

关键词 自动定理证明 归结原理 语义归结 计算机证明

在线阅读 下载PDF 职称材料