相关考题
-
单项选择题
下列（）解释了什么是Skolem范式。
A.含有量词的合取范式。
B.含有存在量词的析取范式。
C.不含有存在量词的合取范式或析取范式。
D.不含有全称量词的合取范式或析取范式。 -
单项选择题
人工智能中的知识工程是指以下内容（）。
A.知识表示，知识获取
B.知识处理，知识推理
C.知识学习
D.A、B、C都是 -
单项选择题
下列哪些是三个命题变量的极小项（）。
A.P∧Q∧┐P
B.P∨Q∨R
C.P→Q→R
D.P∧Q∧┐R
