数据词典：谓词逻辑（Predicate Logic）

赵老师

命题逻辑的表达能力很有限。一阶谓词逻辑根据对象和对象上的谓词（即对象的属性和对象之间的关系），通过使用联结词和谓词来表示世界。其主要思想是：世界是由对象组成的，可以由标识符和属性来区分对象。在这些对象中，还包含着相互间的关系。

一阶谓词逻辑在数学、哲学和人工智能领域一直都非常重要。选择一阶逻辑来研究知识表示和推理是因为一阶逻辑是在已有的知识表示方法中研究得最深入、理解得最全面的方法。

【出处】贲可荣，张彦铎 著.人工智能（第3版），清华大学出版社，2018年12月.