排序方式: 共有53条查询结果,搜索用时 15 毫秒
31.
模态归结弱包含删除策略 总被引:2,自引:1,他引:2
本文提出了一种模态归结的弱包含删除策略,证明了使用弱包含删除策略模态归结的完备性.从而,将Auffray等人提出的开问题(OpenProblem)——模态归结包含删除策略的完备性向前推进了一步. 相似文献
32.
33.
34.
广义模糊逻辑和锁语义归结原理 总被引:9,自引:0,他引:9
将命题的真值取在格上的模糊逻辑,我们称为广义模糊逻辑。本文讨论了这种广义模糊逻辑的性质,并证明了,对于一阶谓词公式,在广义模糊逻辑中的不可满足性和在二值逻辑中的不可满足性是等价的。还证明了原始的归结原理在广义模糊逻辑中是完备的。 最后,在模糊逻辑中讨论了涉及子句真值的语义归结原理,对于在广义模糊逻辑中的不可满足配锁子句集,在任意一个模糊解释下,使用语义归结原理,总可演绎出空子句。 相似文献
35.
1.引言模态逻辑自动推理的归结方法始于Farinas-del-Cerro的工作,近几年,又得到了进一步的研究和发展。一阶模态逻辑是在命题模态逻辑系统上增加了全称量词和存在量词,由于模态算子与量词之间存在着相互作用,因而使得模态公式的Skolem化、模态替换更为复杂。1986年,Cialdea和Farinas-del-Cerro将经典逻辑的Herbrand定理推广到一阶模态逻辑,并在此基础上,Cialdea于1991年建立起了一阶模态逻辑的归结推理方法,有效地克服了模态算子与量词之间复杂的相互作用。 相似文献
36.
38.
39.
布尔算子Fuzzy逻辑中归结的广义完备性 总被引:2,自引:0,他引:2
本文在布尔算子Fuzzy逻辑中引入公式的恒假水平的概念,证明了归结原理在定性和定量这两种度量意义下的广义完备性。 相似文献
40.