共查询到16条相似文献,搜索用时 109 毫秒
1.
刘叙华 《吉林大学学报(理学版)》1993,(1)
本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性;将1型、2型删除策略引入广义RUE-NRF归结. 相似文献
2.
3.
4.
陈斌 《北京交通大学学报(自然科学版)》1998,22(2):8
广义归结是对J.A.Robinson普通归结的推广.支撑集策略是提高归结效率的有效方法.本文将支撑集策略引入广义归结中,提出了广义支撑集归结方法,并证明了它的完备性. 相似文献
5.
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备性. 相似文献
6.
布尔算子模糊逻辑中的广义半锁归结原理 总被引:2,自引:1,他引:1
大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁,限制某此子旬间的归结以减少无用子句的产生,从而能够提高归结方法的效率。在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的。如果对配锁方式不加任何限制,则广义半锁归结方法是广义完备的。 相似文献
7.
研究了命题模态逻辑K,K4,D,D4,T,S4的“”型模态逻辑结果的自动推理.提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结.证明了强模态归结的可靠性与完备性. 相似文献
8.
戴望州 《湘潭师范学院学报(自然科学版)》2009,31(1)
设计了一个Horn集上基于广义归结方法的定理机器证明系统.在算法中使用广度优先与深度优先结合避免了传统归结的组合爆炸.分析了该系统的优缺点,在前人研究的基础上地提出了几点优化的建议. 相似文献
9.
归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑... 相似文献
10.
模糊蕴涵算子及其构造(Ⅰ)--模糊蕴涵算子及其性质 总被引:25,自引:6,他引:25
讨论了32个模糊蕴涵算子的构造并验证了它们是否满足16条常用性质.然后考虑了它们与几个重要蕴涵,诸如正常蕴涵、异常蕴涵、强蕴涵、连续强蕴涵、正规蕴涵以及理想蕴涵之间的联系. 相似文献
11.
基于蕴涵算子上的模糊强正则子半群 总被引:1,自引:1,他引:0
文中给出R-模糊强正则子半群的定义,讨论了其与模糊强正则子半群的关系,证明在一定条件下有限个R-模糊强正则子半群的交(并)还是R-模糊强正则子半群,R-模糊强正则子半群的同态像(原像)仍是R-模糊强正则子半群。 相似文献
12.
线性一致逼近中的广义强单一性常数及其计算 总被引:1,自引:0,他引:1
对线性最佳一致逼近,引入广义强单一性常数,研究其选场生并得到一个方便的计算方法,该常数已用于估计最佳逼近与已计算得到的最佳逼近之间的误差。 相似文献
13.
研究了一类广义Petersen图P(3n, n)的强边染色问题,得到的结果为:6≤χs′(P(3n, n))≤8,这里χs′(P(3n,n))表示P(3n, n)的强边色数.特别地,当n为偶数,并且n≡1或2(mod 3)时,χs′(P(3n, n))=6. 相似文献
14.
In this paper,an iterative regularized super resolution (SR) algorithm considering non-Gaussian noise is proposed.Based on the assumption of a generalized Gaussian distribution for the contaminating noise,an lp norm is adopted to measure the data fidelity term in the cost function.In the meantime,a regularization functional defined in terms of the desired high resolution (HR) image is employed,which allows for the simultaneous determination of its value and the partly reconstructed image at each iteration step.The convergence is thoroughly studied.Simulation results show the effectiveness of the proposed algorithm as well as its superiority to conventional SR methods. 相似文献
15.
多个正态总体均值与标准差比在简单树序约束下的最大似然估计 总被引:1,自引:0,他引:1
考虑k(k>3)个正态总体均值与标准差(均值和标准差均未知)之比在简单树序约束下最大似然估计的求解问题, 应用保序回归理论给出了计算均值和标准差最大似然估计的迭代算法, 并证明了所给迭代算法是收敛的, 给出了k=7时利用迭代算法的模拟结果. 相似文献
16.
首先给出了由Banach空间有界线性算子引导的广义算子半群的定义及其性质;其次研究广义算子半群的渐近表达式;最后研究了广义算子半群的强弱稳定性,给出了广义算子半群强弱稳定性等价的条件。 相似文献