2.2.3一阶谓词逻辑表示的特点 2.2.3.1优点 (1)自然性谓词逻辑是一种接近于自然语言的 形式语言,人们比较容易接受,用它表示的知识比较 容易理解; (2)精确性谓词逻辑是二值逻辑,其谓词公式 的真值只有“真”与“假”两个,因此可以用它表示 精确的知识。 (3)容易实现用谓词逻辑表示的知识可以比较 容易地转换为计算机的内部形式,其分析过程都容易 在计算机上实现。（1）自然性 谓词逻辑是一种接近于自然语言的 形式语言，人们比较容易接受，用它表示的知识比较 容易理解； （2）精确性 谓词逻辑是二值逻辑，其谓词公式 的真值只有“真”与“假”两个，因此可以用它表示 精确的知识。 （3） 容易实现 用谓词逻辑表示的知识可以比较 容易地转换为计算机的内部形式，其分析过程都容易 在计算机上实现。 2 . 2 . 3 一阶谓词逻辑表示的特点 2 . 2 . 3 . 1 优点