一阶谓词逻辑表示法的特点

一阶谓词逻辑是一种形式语言系统，它用数理逻辑的方法研究推理的规律，即条件与结论之间的蕴涵关系，其有以下一些特点。

①自然性。谓词逻辑是一种接近于自然语言的形式语言，用它表示问题易于被人理解和接受。

②适宜于精确性知识的表示，而不适宜于不确定性知识的表示。用谓词逻辑表示的问题是以谓词公式的形式为结果的，谓词公式的逻辑值只有“真”和“假”两种结果，而对某一知识有百分之几的可能为“真”或为“假”的情况无法表示，因此它适于表示那些精确性的知识，而不适于表示那些具有不确定性和模糊性的知识。

③易实现。用谓词逻辑法表示的知识可以比较容易地转换为计算机的内部形式，易于模块化，便于对知识的添加、删除和修改。

④与谓词逻辑表示法相对应的推理方法。在用谓词逻辑对问题进行表示以后，求解问题就是要以此表示为基础进行相应的推理。与谓词逻辑表示法相对应的推理方法称为归结推理方法或消除法。