试题详情
- 简答题在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的()。
- 辖域
关注下方微信公众号,在线模考后查看
热门试题
- 归结法中,可以通过()的方法得到问题的解
- ()方法是一种将复杂问题变换为比较简单的
- 命题逻辑的归结法与谓词逻辑的归结法的不同
- 用归结反演方法进行定理证明时,可采取的归
- 在搜索解图的过程中,若解图的耗散值记为k
- 产生式
- 反演归结(消解)证明定理时,若当前归结式
- 关于Object>Transform>T
- 计算智能系统具有的特性有()。
- 在Illustrator中使用Paint
- 下列哪个不是人工智能的研究领域()
- 现在人工智能有哪些学派?它们的认知观是什
- 产生式系统的特点可以概括为()
- 在一般图搜索算法中,当对某一个节点n进行
- 当连接符全部为1-连接符时,局部图就是一
- 设P是谓词公式,对于P的任何论域,存在P
- 人工智能作为一门学科,它研究的对象是()
- 在Adobe Illustra
- 在谓词公式中,紧接于量词之后被量词作用的
- 当使用“多边形工具”时,按住下列哪个键就