5.在公式中"y$xp(x,y)),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做( )
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
查看答案
11.产生式系统的推理不包括( )
A. 正向推理
B. 逆向推理
C. 双向推理
D. 简单推理
12.下列哪部分不是专家系统的组成部分( )
A. 用户
B. 综合数据库
C. 推理机
D. 知识库
人工智能的含义最早由一位科学家于1950年提出,并且同时提出一个机器智能 的测试模型,请问这个科学家是—— 。
从己知事实出发,通过规则库求得结论的产生式系统的推理方式是 —— _______。