2.2.3 谓词逻辑表示的特点

（1）主要优点。

自然：一阶谓词逻辑是一种接近于自然语言的形式语言系统，谓词逻辑表示法接近于人们对问题的直观理解。

明确：有一种标准的知识解释方法，因此用这种方法表示的知识更明确、易于理解。

精确：谓词逻辑的真值只有“真”与“假”，其表示、推理都是精确的。

灵活：知识和处理知识的程序是分开的，无须考虑处理知识的细节。

模块化：知识之间相对独立，这种模块化使得添加、删除、修改知识比较容易进行。

（2）主要缺点。

知识表示能力差：只能表示确定性知识，而不能表示非确定性知识、过程性知识和启发式知识。

知识库管理困难：缺乏知识的组织原则，知识库管理比较困难。

存在组合爆炸：由于难以表示启发式知识，因此只能盲目地使用推理规则，这样当系统知识量较大时，容易发生组合爆炸。

系统效率低：它把推理演算与知识含义截然分开，抛弃了表达内容中所含有的语义信息，往往使推理过程冗长，降低了系统效率。