5.2基于谓词逻辑的机器推理 基于谓词逻辑的机器推理也称自动推理。 它是人工智能早期的主要研究内容之 阶 胃词逻辑是一种表达力很强的形式语言,而且 这种语言很适合当前的数字计算机。因而就成 为知识表示的首选。基于这种语言,不仅可以 实现类似于人推理的自然演绎法自动推理,而 且也可实现不同于人的归结(或称消解)法自 动推理。本节主要介绍基于谓词逻辑归结演绎 推理5.2 基于谓词逻辑的机器推理 基于谓词逻辑的机器推理也称自动推理。 它是人工智能早期的主要研究内容之一。一阶 谓词逻辑是一种表达力很强的形式语言，而且 这种语言很适合当前的数字计算机。因而就成 为知识表示的首选。基于这种语言，不仅可以 实现类似于人推理的自然演绎法自动推理，而 且也可实现不同于人的归结（或称消解）法自 动推理。本节主要介绍基于谓词逻辑归结演绎 推理