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

判断题 由于蕴含式的灵活性，它能表示推理知识以及类似于“如果按住鼠标拖动，则按轨迹画出一条线”这种规则。

判断题 一阶谓词逻辑式有很强的表达能力，但经常难以直接在计算中应用。