多项选择题 谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。

单项选择题 问题的状态空间是一个表示该问题（）状态及其关系的图

单项选择题 消解是一种可用于一定的（）的重要推理规则。