相关考题
-
单项选择题
在公式中，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）。
A.依赖函数
B.Skolem函数
C.决定函数
D.多元函数 -
单项选择题
已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）。
A.状态空间法
B.问题归约法
C.谓词逻辑法
D.语义网络法 -
单项选择题
神经网络研究属于的学派是（）。
A.符号主义
B.连接主义
C.行为主义
D.都不是
