说明性语言的特点之一是______，______就是一种说明性语言、它又是一种______程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则______为Horn子句。对于由子句p(a)和q(x)：-p(x)所组成的程序，其极小Her-brand模型是______。 A: {P(a)} B: {q(q)2} C: {p(a),q(a)} D: {q(x)}

公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！

2022-06-08

说明性语言的特点之一是，就是一种说明性语言、它又是一种程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则为Horn子句。对于由子句p(a)和q(x)：-p(x)所组成的程序，其极小Her-brand模型是__。 A: {P(a)} B: {q(q)2} C: {p(a),q(a)} D: {q(x)}

说明性语言的特点之一是______，______就是一种说明性语言、它又是一种______程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则______为Horn子句。对于由子句p(a)和q(x)：-p(x)所组成的程序，其极小Her-brand模型是______。
A: {P(a)}
B: {q(q)2}
C: {p(a),q(a)}
D: {q(x)}

答案：

C

举一反三

内容

0
说明性语言的特点之一是 (27) ， (28) 就是一种说明性语言，它又是一种 (29) 程序设计语言。 Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则 (30) 为Horn子句。 A: 没有程序呼叫 B: 描述处理过程 C: 没有赋值语句 D: 描述用户需求
1
说明性语言的特点之一是 (27) ， (28) 就是一种说明性语言，它又是一种 (29) 程序设计语言。 Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则 (30) 为Horn子句。 A: 函数型 B: 递归型 C: 人工智能 D: 面向对象
2
使用下述谓词：P(x): x是语言、Q(x): x是中间语言、R(x): x是世界通用的，及量词表示自然语句“没有语言是世界通用的话，就至少有一种中间语言存在”为（）。A.~($x)(P(x) Þ R(x)) Þ ($x) Q(x)B.~($x)(P(x)∧R(x)) ∧ ($x) Q(x) C.~($x)(P(x) Þ R(x)) ∧ ($x) Q(x) D.~($x)(P(x)∧R(x)) Þ ($x) Q(x) A: ~($x)(P(x) Þ R(x)) Þ ($x) Q(x) B: ~($x)(P(x)∧R(x)) ∧ ($x) Q(x) ~($x)(P(x) Þ R(x)) ∧ ($x) Q(x) D.~($x)(P(x)∧R(x)) Þ ($x) Q(x) C: ~($x)(P(x) Þ R(x)) ∧ ($x) Q(x) D: ~($x)(P(x)∧R(x)) Þ ($x) Q(x)
3
请问谓词公式C1=P∨Q∨R，C2=﹁P∨S的亲本子句是哪一个？ A: P∨Q∨R B: ﹁P∨S C: Q∨R∨S D: P∨Q∨R∨S
4
设个体域为A={a,b},消去公式"x$y(P(x)→Q(y))中的量词为 A: （¬P(a)ÚQ(a)ÚQ(b)）Ù（¬P(b)ÚQ(a)ÚQ(b)） B: (P(a)ÚP(b)〕→(Q(a)ÚQ(b)) C: (P(a)ÙP(b)〕→(Q(a)ÚQ(b)) D: （¬P(a)ÚQ(a)）Ù（¬P(b)ÚQ(b)）