课程《人工智能》_题库列表第48页_查题网

人工智能

截止01-11，该科目累计收录道题目。

返回课程列表

对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（）。A、可满足的B、永真的C、不可满足的D、永假的
- 查看答案正确率：100%
- 2022-10-07 20:37:18
设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（）。A、永真B、等价C、永假D、不可满足
- 查看答案正确率：100%
- 2022-10-07 20:37:14
输入归结策略是完备的。
- 查看答案正确率：100%
- 2022-10-07 20:37:10
POLOG语言是一种逻辑式程序设计语言，特别适合于推理。
- 查看答案正确率：100%
- 2022-10-07 20:37:01
二阶谓词的个体是（）。A、谓词B、函数C、常量D、变量
- 查看答案正确率：100%
- 2022-10-07 20:34:49
Greater(5,3)是（）元谓词。A、4B、3C、1D、2
- 查看答案正确率：100%
- 2022-10-07 20:34:45
“太阳每天从东方升起”是一个命题。
- 查看答案正确率：100%
- 2022-10-07 20:34:37
POLOG语言是一种符号处理式程序设计语言，特别适合于推理。
- 查看答案正确率：100%
- 2022-10-07 20:34:32
一个公式集的最一般合一是唯一的。
- 查看答案正确率：100%
- 2022-10-07 20:34:28
连接词的优先级（）。A、∧ ∨ → ↔ ﹁B、→C、﹁ ∨ ∧ → ↔D、→ ↔ ﹁ ∧ ∨
- 查看答案正确率：100%
- 2022-10-07 20:34:24