题目来源于：华医网题库助手（http://gongxuke.net/）

从已知事实出发,通过规则库求得结论的产生式系统的推理方式是

A、正向推理

B、反向推理

C、双向推理

正确答案：公需科目题库搜索

或图通常称为

A、框架网络

B、语义图

C、博亦图

D、状态图

正确答案：公需科目题库搜索

1997年5月,著名的“人机大战”,最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败,这台计算机被称为

A、深蓝

B、IBM

C、深思

D、蓝天

正确答案：公需科目题库搜索,公需课帮手薇xin【xzs9523】

下列不在人工智能系统的知识包含的4个要素中

A、事实

B、规则

C、控制和元知识

D、关系

正确答案：公需科目题库搜索

命题是可以判断真假的

A、祈使句

B、疑问句

C、感叹句

D、陈述句

正确答案：公需科目题库搜索

(A→(B)∧A=>B是

A、附加律

B、拒收律

C、假言推理

D、US

正确答案：公需科目题库搜索

语义网络表达知识时,有向弧AKO链、ISA链是用来表达节点知识的()。

A、无悖性

B、可扩充性

C、继承性

正确答案：公需科目题库搜索

谓词逻辑下,子句,C1=L∨C1‘,C2=L∨若σ是互补文字的(最一般)合一置换,则其归结式C=

A、1’σ∨C2’σ

B、1’∨C2’

C、1’∧C2’

D、1’∧C2’

正确答案：公需科目题库搜索

MGU是

A、最一般合一

B、最一般替换

C、最一般谓词

D、基替换

正确答案：公需科目题库搜索

仅个体变元被量化的谓词称为

A、一阶谓词

B、原子公式

C、二阶谓词

D、全称量词

正确答案：公需科目题库搜索