A.先进先出
B.先进后出
C.根据估价函数值重排
D.后进后出
A.聊天
B.拨号
C.导航
D.设备控制
A.正向推理
B.逆向推理
C.双向推理
D.简单推理
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C.仅个体变元被量化的谓词成为一阶谓词
D.个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
A.聚类是一种非监督式学习
B.聚类是一种监督式学习
C.使用的数据不需要包含类别卷标
D.使用的数据需要包含类别卷标