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

人工智能

截止12-28，该科目累计收录道题目。

返回课程列表

[单选题] 谓词逻辑下，子句,C1=L∨C1‘,C2=?L∨若σ是互补文字的（最一般）合一置换，则其归结式C=（） A.C1’σ∨C2’σ B.C1’∨C2’ C.C1’σ∧C2’σ D.C1’∧C2’
- 查看答案
- 2024-01-05 16:40:36
[单选题] 子句~PQ和P经过消解以后，得到（） A.P B.Q C.~P D.PQ
- 查看答案
- 2024-01-05 16:40:17
[单选题] 1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（） A.深蓝 B.IBM C.深思 D.蓝天
- 查看答案
- 2024-01-05 16:40:17
[单选题] (A→B)∧A=>B是（） A.附加律 B.拒收律 C.假言推理 D.US
- 查看答案
- 2024-01-05 16:40:17
[单选题] 语义网络表达知识时，有向弧AKO链ISA链是用来表达节点知识的（）。 A.无悖性 B.可扩充性 C.继承性 D.以上都不对
- 查看答案
- 2024-01-05 16:40:17
[单选题] 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（） A.正向推理 B.反向推理 C.双向推理 D.以上都不对
- 查看答案
- 2024-01-05 16:40:17
[单选题] 反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。 A.永真式 B.包孕式（subsumed） C.空子句 D.以上都不对
- 查看答案
- 2024-01-05 16:40:17
[单选题] AI的英文缩写是（） A.AutomaticIntelligence B.ArtificalIntelligence C.AutomaticeInformation D.ArtificalInformation
- 查看答案
- 2024-01-05 16:40:17
[单选题] （AB）A称为（C），~（AB）~A~B称为（） A.结合律 B.分配律 C.吸收律 D.摩根律
- 查看答案
- 2024-01-05 16:40:17
[单选题] 在公式中yxp(x,y)，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（） A.依赖函数 B.Skolem函数 C.决定函数 D.多元函数
- 查看答案
- 2024-01-05 16:40:17