问题：
[多选] 谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。
谓词符号。变量符号。函数符号。
计算适应性。计算容错力。接近人的计算速度。近似于人的误差率。
问题：
[多选] 在启发式搜索中，定义估计函数时可以参考的思路有（）
一个结点到目标结点的某种距离或差异的度量。子节点的个数。一个结点处在最佳路径上的概率。根据经验主观打分。
问题：
[多选] 专家系统知识库包含的内容有（）。
所有人类知识。已知的同当前问题有关的数据信息。进行推理时要用到的一般知识和领域知识。以上选项都不对。
问题：
[多选] 下列数据存储方式能提高检索速度的有（）。
索引。排序。杂凑。加密。
问题：
[多选] 求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
将母式化成合取范式。消去全称量词。消去合取连结词。更改变量名。
