尽管人工智能学术界出现“百家争鸣”的局面，但是，当前国际人工智能的主流派仍属 于: (　　)

已知初始问题的描述，通过- - 系列变换把此问题最终变为-一个子问题集合;这些子问 题的解可以直接得到，从而解决了初始问题。这是知识表示法叫(　　)。

在公式中y xP(　　)， 存在量词是在全称量词的辖域内，我们允许所存在的x可能依 赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这 种函数叫做(　　)。