共查询到15条相似文献，搜索用时 109 毫秒
1.
本文证明了在一定条件下,RUE-NRF演绎可以重写为使用归结和调解的演绎;通过反例说明RUE-NRF输入反驳与RUE-NRF单元反驳不等价及RUE-NRF线性反驳的不完备性. 相似文献
2.
刘叙华 《吉林大学学报(理学版)》1993,(1)
本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性;将1型、2型删除策略引入广义RUE-NRF归结. 相似文献
3.
4.
李大法 《清华大学学报(自然科学版)》1985,(2)
Ｌ． Ｈｅｎｓｃｈｅｎ证明了语义归结对 Ｈｏｒｎ集是完备的［１］。但是语义归结不是正单元归结。本文的主要结果是不可满足的Ｈｏｒｎ子句集合Ｓ有这样一个反驳，对于这个反驳的每一个归结来说，或者一个祖先子句是正单元，而且该正单元在 Ｉ上是假的；或者一个祖先子句是正单元，而且从另一个祖先子句和这个归结式中删去他们的正义字后剩下的子句在 Ｉ上都是假的．其中 Ｉ是 Ｓ的任何一个解释。 相似文献
5.
本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。 相似文献
6.
布尔算子模糊逻辑中的广义半锁归结原理 总被引：2，自引：1，他引：1
大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁,限制某此子旬间的归结以减少无用子句的产生,从而能够提高归结方法的效率。在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的。如果对配锁方式不加任何限制,则广义半锁归结方法是广义完备的。 相似文献
7.
在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的 相似文献
8.
为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。 相似文献
9.
在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。 相似文献
10.
李大法 《清华大学学报(自然科学版)》1983,(3)
Ｈｅｎｓｃｈｅｎ和 Ｗｏｓ在［２］中的定理 １和定理 ２分别证明了不可满足的 Ｈｏｒｎ集有严 格－正的－单元反驳和严格－输入反驳，如果子句（ｃｌａｕｓｅ）集合Ｓ是一个Ｒ－不可满足的 Ｈｏｒｎ集，该集合包含子句Ｒｘ，ｘ和它的函数反身公理，当Ω由调换（ｐａｒａｍｏｄｕｌａｔｉｏｎ）、 归结（ｒｅｓｏｌｕｔｉｏｎ）和因子（ｆａｃｔｏｒｉｎｇ） 三个推理规律组成时，Ｈｅｎｓｃｈｅｎ 和 Ｗｏｓ在［２］中的 定理 ３证明了：利用这三个推理规律从该子句集可以得到一个输入反驳（ｉｎｐｕｔ ｒｅｔｕｔａｔｉｏｎ） Ｄ１和一个单元反驳（ｕｎｉｔ ｒｅｆｕｆａｔｉｏｎ）Ｄ２，而且他们认为如 Ω’由调换和归结两个规律 组成时，利用这二个规律从上述子句集合有可能得到一个严格－正的－单元反驳和一个 严格－输入反驳，本文证明了这一估计是对的。 相似文献
11.
吕强 《芜湖职业技术学院学报》2006,8(4):49-51
在总结实际开发经验的基础上,笔者比较了VB中实现打印的四种方法的优缺点,详细介绍了VB中实现高分辨率打印准考证的几点关键,如数据传输、度量单位选择、坐标定位和打印控制,并提出了打印预览、扩展打印功能的思路。 相似文献
12.
20世纪对鲁迅的批驳一直没有间断,批驳者对鲁迅在生活上泼墨,在政治上诬蔑,在人格上丑化,在地位上贬低,在创作上否定。对鲁迅的研究正是在对鲁迅的批驳的背景下深入开展的。 相似文献
13.
采用VD -MOS研制出纺织器材专用串联谐振感应加热电源 .利用锁相技术将逆变器的工作频率锁定在槽路的固有谐振频率内 ,使得该电源始终能运行在负载功率因数为 1的状态 ,运用斩波电路实现功率调节 相似文献
14.
以功率MOSFET为开关元件 ,采用多管并联方式研制出高频感应加热电源。该电源逆变控制采用了锁相技术 ,利用锁相技术使功率MOSFET实现零电流开关 ,并使逆变器的工作频率跟踪系统因有谐振频率。使得该电源始终能运行在负载功率因数为1的状态 。 相似文献
15.
袁坚 《西安石油大学学报(自然科学版)》1993,(3)
本文介绍一种1kHz 分辨率的频率合成器,该合成器可用于跳频电台,本合成器采用了数字鉴频鉴相器和吞脉冲技术,实现了在整个调频波段1kHz 分辨率的单环锁定.在此基础上提出了3种具体减少换频时间的措施,尤以独到的改变鉴相频率的方法,在不增加任何电路配制的情况下,大大缩短了换频时间. 相似文献