相关考题
-
多项选择题
谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。
A.谓词符号
B.变量符号
C.函数符号 -
单项选择题
问题的状态空间是一个表示该问题（）状态及其关系的图
A.全部可能
B.多数
C.少数
D.某些 -
单项选择题
消解是一种可用于一定的（）的重要推理规则。
A.子句
B.双条件
C.合取公式
D.蕴含公式
