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

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.框架表示法

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

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

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

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

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

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

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

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