线性归结演绎 线性归结演绎（linear resolution deduction）是2018年公布的计算机科学技术名词。定义 一种归结策略。初始子句为原始子句集中子句，其余每步归结中的一个子句是刚生成的归结式，另一个子句或者是原始子句集中的子句，或者是之前生成的归结式。出处 《计算机科学技术名词》第一版。
基本过程 将已知条件化作子句集 将结论的否定化作子句集 从所有子句集中选取两个可归结的子句进行归结 重复过程3,直到出现空子句NIL为止,这时,证明在所给已知条件下结论成立。 开胃例题 真题1 使用线性归结法证明 A1∧ A2∧ A3 →B 其中 答: 要证明A1∧ A2∧ A3 →B,也就是要证明A1∧ A2∧ A3 ∧......
规范用词线性归结 英文翻译linear resolution 所属学科计算机科学技术>计算机科学理论 名词审定计算机科学技术名词审定委员会 见载刊物《计算机科学技术名词(第二版)》 科学出版社 公布时间2002年
线性归结是什么意思_线性归结用英语怎么说_线性归结的翻译_线性归结翻译成_线性归结的中文意思_线性归结怎么读,线性归结的读音,线性归结的用法,线性归结的例句 翻译线性归结释义 linear resolution 线形分解,线形归结; 行业词典 计算机 linear resolution
归结演绎推理 鲁滨逊归结原理把永真性的证明转化为关于不可满足性的证明。 反证法:P ⇒ Q,当且仅当P∧～Q⇔F,即 Q 为 P 的逻辑结论,当且仅当P∧～Q是不可满足的。 海伯伦(Herbrand)定理为自动定理证明奠定了理论基础。 鲁滨逊(Robinson)提出的归结原理使机器定理证明成为现实。
使用线性归结策略的归结法(resolution)相关知识点: 试题来源: 解析 证明A1 A2 A3 B 其中 A1= (x)((P(x) Q(x)) (y)(W(x,y) V(y))) A2= (x)((P(x) U(x))__隷___(y)(W(x,y) U(y)))...
百度试题 结果1 题目依线性归结法来证明A1∧A2∧A3→B,其中A =(x)(C(x)A-D(x))- y)G(x, y) E(y))A =(x)(C()F()(y)(G(x, y)> F(y)))A3=-(3y)(D(x)∧F(x)B =x(E(x) F(x) 相关知识点: 试题来源: 解析反馈 收藏 ...
参考答案: 解:选取顶子句P∨Q,线性归结过程如下: (1)P∨Q (2)~P∨~Q (3)P∨~Q (4)~P∨~Q (5)Q (1)与(2)归结 (6)P (5)与(3)归结 (7) ~Q (6)与(4)归结 (8)NIL (7)与(5)归结 复制 纠错举一反三 Joyce: I'm so sorry for being late again.Mary: Never mind, but it's...
Keywords: 线性归结,锁归结,线性半锁归结 Full-Text Cite this paper Add to My Lib Abstract: 1965年Robinson提出归结方法后,引起了人工智能学者的重视,纷纷对这一方法做了很多精练和改进。著名的工作有Slagle(1967)提出的语义归结方法,Loveland和Luckham(1970)提出的线性归结方法,以及Boyer(1971)提出的锁归结...