4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（ ）
A. 状态空间法
B. 问题归约法
C. 谓词逻辑法
D. 语义网络法
5.在公式中"y$xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ）
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
11.产生式系统的推理不包括（ ）
A. 正向推理
B. 逆向推理
C. 双向推理
D. 简单推理
12.下列哪部分不是专家系统的组成部分（ ）
A. 用户
B. 综合数据库
C. 推理机
D. 知识库
微信支付 
支付宝支付