人工智能教案04章 4.3 逻辑表示法.pdfVIP

4.3 逻辑表示法 逻辑是一种重要的知识表示方法。使用逻辑法表示知识，须 将以自然语言描述的知识，通过引入谓词、函数加以形式描述， 获得有关的逻辑公式，进而以机器内码表示。 在逻辑法表示下可采用归结法或其他方法进行准确的推理。 当然一阶逻辑的表达能力也是有限的，如具有归纳结构的知识， 多层次的知识类型都难于用一阶逻辑来描述。 一阶谓词逻辑是谓词逻辑中最直观的一种逻辑。它以谓词形 式来表示动作的主题、客体。客体可以多个。 谓词逻辑规范表达式： P ( x , x , x , …)， 这里P 是谓词, x 是主体与客