A. 产生式可以表示所有一阶谓词逻辑

B. 产生式可以描述确定性规则和不确定性事实

C. 一阶谓词逻辑式有很强的表达能力,但无法表示不确定知识

D. 由于一阶谓词逻辑的灵活性,它能表示推理知识以及类似于"如果按体鼠标拍动,则按轨迹画出一条线"这类知识