单项选择题

下列不是框架表示法特点的是()

A.结构性
B.模块性
C.继承性
D.自然性

<上一题 目录 下一题>
热门 试题

单项选择题
‏对于谓词公式∃x(P(x,y)→Q(x,y))∨R(x,y),以下说法错误的是()。

A.上述公式中的所有y是自由变元
B.P(x,y)中的x是约束变元
C.R(x,y)中的x是约束变元
D.Q(x,y)中的x是约束变元

单项选择题
​李明的父亲是教师,用谓词逻辑可以表示为Teacher(father(Liming))这里father(Liming)是()

A.常量
B.变元
C.函数
D.一元谓词

相关试题
  • 欧盟AI道德准则中,福祉原则指的是()。
  • 智能传感器、智能芯片属于人工智能重点产业...
  • 机器人索菲亚在沙特阿拉伯获得了公民身份,...
  • 2016年,欧盟提议将机器人的身份定位为()
  • 2014年,科大讯飞提出人工智能发展的框...