单项选择题
关于谓词逻辑，下列描述不正确的是（）。
A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元C.仅个体变元被量化的谓词成为一阶谓词D.个体变元、函数符号和谓词符号都被量化的谓词成为多阶谓词
单项选择题 联想存储的特点不包括（）。
单项选择题 关于搜索与求解，描述错误的是（）。
单项选择题 多智能体系统的英文缩写是（）。
