题目内容

以下哪几项是Skolem范式？

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. 推理线路

推理的控制策略是指如何使用领域知识使推理过程尽快达到目标的策略。它可分为推理策略和搜索策略，请问推理策略主要解决以下哪些类型的问题？

A. 推理方向
B. 限制推理深度、广度、时间和空间等
C. 冲突消解
D. 推理线路