搜索筛选:
搜索耗时1.8693秒,为你在为你在102,285,761篇论文里面共找到 68 篇相符的论文内容
发布年度:
[期刊论文] 作者:刘叙华,
来源:吉林大学自然科学学报 年份:1993
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备性....
[期刊论文] 作者:刘叙华,
来源:吉林大学自然科学学报 年份:1993
本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性,将I型,2型删除策略引入广义RUE-NRF归结。...
[期刊论文] 作者:刘叙华,
来源:软件学报 年份:1990
在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归...
[期刊论文] 作者:刘叙华,
来源:软件学报 年份:1992
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在...
[会议论文] 作者:刘叙华,
来源:第一届中国人工智能联合学术会 年份:1990
...
[会议论文] 作者:刘叙华,
来源:中国第四届知识工程研讨会 年份:1991
...
[期刊论文] 作者:刘叙华,
来源:科学通报 年份:1985
归结原理是1965年由Robinson提出的一种重要的定理机器证明方法。1970年,Loveland和Luckham提出了线性归结,这是对归结原理的重要改进。一种特殊的线性归结——输入归结在计...
[期刊论文] 作者:于津,刘叙华,
来源:小型微型计算机系统 年份:1996
UKRS是建立在算子FUZZY逻辑的λ-Horn集上,使用λ-SLD归结推理机制作为其理论支持的一个基于不确定、不精确知识的推理系统。在UKRS中用λ-Horn子句表示知识,因算子FUZZY逻辑对于算子是显式表示的,故可以方便的描......
[期刊论文] 作者:邓安生,刘叙华,
来源:计算机学报 年份:1997
本文在布尔算子Fuzzy逻辑中引入公式的恒假水平的概念,证明了归结原理在定性和定量这两种度量意义下的广义完备性。...
[期刊论文] 作者:刘叙华,肖红,
来源:计算机学报 年份:1989
本文提出了算子Fuzzy逻辑,并给出了这种逻辑系统中公式的一些简单性质,在算子Fuzzy逻辑中,提出了λ-恒真和λ-恒假的概念,提出了λ-归结方法。证明了:对于任一个λ-恒假公式,...
[期刊论文] 作者:邓安生,刘叙华,
来源:东北师大学报:自然科学版 年份:1989
本文给出了真值取在布尔代数上的形式模糊命题逻辑推理系统 FL,并且证明了它的一致性,有效性和完备性。更多还原...
[期刊论文] 作者:刘叙华,陈斌,
来源:吉林大学自然科学学报 年份:1993
本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上....
[期刊论文] 作者:邓安生,刘叙华,
来源:软件学报 年份:1996
本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Fuzzy逻辑中,并且证明了布尔算子Fuzzy逻辑的锁归结方法和一种特殊的广义锁归结方法是广义完备的。...
[期刊论文] 作者:石生利,刘叙华,
来源:软件学报 年份:1993
带有模糊量词的推理在计算机科学特别是人工智能中十分重要。模糊量词具有“统计”的性质,本文将从此角度讨论模糊量词的形式化及带有模糊量词的推理,本文的结果可应用在专家...
[期刊论文] 作者:刘叙华,司徒芊,
来源:计算机学报 年份:1992
在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的....
[期刊论文] 作者:石生利,刘叙华,
来源:计算机学报 年份:1991
...
[期刊论文] 作者:刘叙华,安直,
来源:计算机学报 年份:1990
在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示提供了一个模型。在新的系统中,引进了α-解...
[期刊论文] 作者:刘叙华,司徒芊,
来源:计算机学报 年份:1995
本文提出了算子模糊逻辑中的广义λ-调解方法,证明了它和广义λ-归结的联合使用,对于λE-不可满足广义子句集是完备的。...
[期刊论文] 作者:邓安生,刘叙华,
来源:中国科学(A辑 数学 物理学 天文学 技术科学) 年份:1995
在Boole算子Fuzzy逻辑中引入公式的恒真水平和恒假水平的概念,讨论了不确定性推理的形式结构,并推广了开放逻辑中的认识进程理论,给出了一种描述人类在具有不确定性、不一致...
[会议论文] 作者:邓安生,刘叙华,
来源:第三届中国人工智能联合学术会议 年份:1994
...
相关搜索: