试题详情
- 单项选择题仅个体变元被量化的谓词称为（）
A、一阶谓词
B、原子公式
C、二阶谓词
D、全称量词
- A
关注下方微信公众号，在线模考后查看
热门试题
- 什么叫做专家系统？
- 你最多可对多少个图形通过混合工具（Ble
- 非结构化的知识的表示法是（）。
- 以下哪种方法可以实现图像的渐变透明（）
- 如果问题存在最优解，则下面几种搜索算法中
- 从研究的角度不同，对人工智能的研究可分两
- 关于演绎系统的搜索策略的说法正确的是（）
- 下列哪些工具可以将封闭的路径断开？（）
- 为什么能够用机器（计算机）模仿人的智能？
- 艾真体为什么需要互相通信？
- 谓词逻辑中，重言式（tautlogy）的
- 产生式系统中，推理机的推理方式有哪几种？
- 两个填充有不同图案（Pattern）的封
- 专家系统的瓶颈是（）；它来自于两个阶段，
- 基于规则的演绎系统将所有的谓词公式均化简
- 什么叫模糊判决？有哪几种常用的模糊判决方
- 基于规则的逆向演绎系统是从目标出发，逆向
- 求取子句集的步骤包括以下步骤：消去“蕴含
- 基于规则的演绎系统主要有（）、（）和（）
- 在删除策略归结的过程中删除以下子句：含有