单项选择题
在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
A、依赖函数 B、Skolem函数 C、决定函数 D、多元函数
单项选择题 关于“与/或”图表示法的叙述中，正确的是（）
单项选择题 被誉为国际“人工智能之父”的是（）
单项选择题 尽管人工智能学术界出现“百家争鸣”的局面，但是，当前国际人工智能的主流派仍属于（）
