多项选择题 目前，人工智能的主要学派有哪些（）。

单项选择题 在问题归约图中，如果某个非终叶节点含有与后继节点，那么只要当其后继节点（）为可解时，此非终叶节点才是可解的。

单项选择题 用连词→连接两个公式所构成的公式叫做（）公式。