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

人工智能

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

返回课程列表

归结（消解）反演证明定理时，若当前归结式是（）时，则定理得证。A、永真式B、包孕式C、空子句
- 查看答案正确率：100%
- 2022-10-07 20:40:26
“明天会下雨”是一个命题。
- 查看答案正确率：100%
- 2022-10-07 20:40:21
LISP语言是一种逻辑式程序设计语言，特别适合于推理。
- 查看答案正确率：100%
- 2022-10-07 20:40:17
置换是一个形如{ t1/x1, t2/x2, …, tn/xn }的有限集合：xi可以是（）。A、函数B、谓词C、变元D、常量
- 查看答案正确率：100%
- 2022-10-07 20:40:04
归结式是其亲本子句的逻辑结论。
- 查看答案正确率：100%
- 2022-10-07 20:39:52
命题逻辑有极强的知识表示能力。
- 查看答案正确率：100%
- 2022-10-07 20:39:43
使用归结原理只能进行定理证明，而不能进行问题求解。
- 查看答案正确率：100%
- 2022-10-07 20:37:36
输入归结策略是不完备的。
- 查看答案正确率：100%
- 2022-10-07 20:37:31
以下关于谓词公式说法正确的是（）。A、A,B是谓词公式，则有("x) A，($x)A也是谓词公式B、单个谓词是谓词公式C、A,B是谓词公式，则﹁A，A∧B，A∨B，A→B也是谓词公式D、有限步应用上述过程生成的公式也是谓词公式
- 查看答案正确率：100%
- 2022-10-07 20:37:27
一个命题可在一定条件下为真，而在另一条件下为假。
- 查看答案正确率：100%
- 2022-10-07 20:37:23