9、以下说法错误的是（）。

A.演绎是从特殊到一般，归纳是从一般到特殊。

B.推理的定义中提到的“知识库”是指使用一阶谓词和产生式等方式表示的知识。

C.推理就是从初始证据出发，按照某种策略，不断地运用知识库中已有的知识，逐步匹配，直到推出结果为止。

D.学者们普遍认为逻辑和推理是智能思维的一种表现形式。

A.推理就是从初始证据出发，按照某种策略，不断地运用知识库中已有的知识，逐步匹配，直到推出结果为止。

B.学者们普遍认为逻辑和推理是智能思维的一种表现形式。

C.推理的定义中提到的“知识库”是指使用一阶谓词和产生式等方式表示的知识。

D.演绎是从特殊到一般，归纳是从一般到特殊。

A.学者们普遍认为逻辑和推理是智能思维的一种表现形式。

B.推理就是从初始证据出发，按照某种策略，不断地运用知识库中已有的知识，逐步匹配，直到推出结果为止。

C.演绎是从特殊到一般，归纳是从一般到特殊。

D.推理的定义中提到的“知识库”是指使用一阶谓词和产生式等方式表示的知识。

A.单调推理

B.启发式推理

C.直觉推理

D.确定性推理

A.一阶谓词逻辑是产生式的一种特例，而产生式是框架形式的一种特例。

B.产生式类型的知识表示推动了专家系统的发展，并且曾应用于机器翻译的领域。

C.产生式系统包括：控制器、规则库、推理机、事实库。

D.产生式可描述规则性或事实性的一些知识，其中事实性的产生式可以表示为三元组。

A.一阶谓词逻辑是产生式的一种特例，而产生式是框架形式的一种特例。

B.产生式类型的知识表示推动了专家系统的发展，并且曾应用于机器翻译的领域。

C.产生式系统包括：控制器、规则库、推理机、事实库。

D.产生式可描述规则性或事实性的一些知识，其中事实性的产生式可以表示为三元组。

A.命题逻辑

B.一阶谓词逻辑

C.产生式系统

D.知识图谱