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

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

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

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