2.2一阶谓词逻辑表示方法 谓词逻辑是一种形式语言,也是目前 为止能够表达人类思维活动规律的一种最 精确的语言,它与人们的自然语言比较接 近,又可方便的存储到计算机中作精确的 处理。因此,它成为最早应用于人工智能 表示知识的一种方法。谓词逻辑是一种形式语言，也是目前 为止能够表达人类思维活动规律的一种最 精确的语言，它与人们的自然语言比较接 近，又可方便的存储到计算机中作精确的 处理。因此，它成为最早应用于人工智能 表示知识的一种方法。 2 . 2 一阶谓词逻辑表示方法