A. 框架和弧线 B. 状态和算符 C. 节点和链 D. 槽和值
A. (∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z)) B. (∃z)(∀x)(∀y)(P(x)∧Q(y,z)∨R(x,z)) C. (∀x)(∃z)(∀y)(P(x)∧Q(y,z)∨R(x,z)) D. (∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))
A. 控制系统 B. 解释器 C. 规则库 D. 综合数据库
A. 类比推理 B. 演绎推理 C. 假言推理 D. 归纳推理
A. 推理方向 B. 推理效果 C. 推理效率 D. 推理线路