试题详情
- 单项选择题仅个体变元被量化的谓词称为（）
A、一阶谓词
B、原子公式
C、二阶谓词
D、全称量词
关注下方微信公众号，在线模考后查看
热门试题
- 专家系统的结构包含人机界面、知识库，推理
- 规则演绎系统和产生式系统有哪几种推理方式
- 基于规则的正向演绎系统的的子集形式（）
- 基于规则的演绎系统将所有的谓词公式均化简
- 几种常用的归结策略（）策略、支持集策略、
- 使用Smooth Tool（平
- 什么是艾真体？
- 当前人工智能有哪些学派？他们对人工智能在
- 人工智能学派符号主义的主要研究方法是（）
- 如果我们给h（n）加上如下的限制条件，（
- A*算法中，如果h满足单调条件，就一定不
- 有哪两大类不同的搜索方法？两者的区别是什
- EQ、EQL和EQUAL是三个判断相等的
- 为什么需要采用系统组织技术？有哪几种系统
- 人工智能
- 高效能的人工智能系统需要问题领域的知识，
- 两个具有不同填充色和不同边线色的封闭图形
- 图搜索策略是实现从一个隐含图中，生成出一
- 如何通过消解反演求取问题的答案？
- 什么是人类智能？它有哪些特征或特点？