Question

我最近对一阶逻辑中谓词和函数之间的区别感到困惑。

到目前为止，我的理解是，

谓词是显示比较或显示两个对象之间的关系，例如

President(Obama, America)

函数用于指定特定对象的内容，例如

Human(Obama)

现在我正走在正确的轨道上以区分这两个术语，或者我完全错了，需要一个简短的解释，我希望得到专家的意见，以澄清我的知识（或批准我的理解）。提前致谢

Krio

Answer 1

谓词是一个返回true或false的函数。

Answer 2

功能符号，将个人映射到个人 - 父亲（玛丽）=约翰 - color-of（Sky）=蓝色 • 谓词符号，将个人映射到真理价值观 - 更大的（5,3） - 绿草地） - 颜色（草，绿）

Answer 3

谓词是对特定属性的确认，对象或对象之间的关系。这告诉该对象存在属性。如果给你美国总统的公式P那么

P（奥巴马，美国）=真。

它告诉你你是对的，奥巴马担任美国总统的财产是真的，奥巴马担任美国总统的关系是真实的，但

P（普，美国）= FALSE。

告诉普京美洲总统是假的，因此告诉你一个或多个对象持有或不持有特定的财产或关系。至于函数返回与对象的特定属性相关联的值，如美国总统，安的母亲等。你给他们一个值，他们将返回一个值。就像让P成为一个函数，返回作为参数传递的国家的总统< / p>

P（美国）=奥巴马。

P（俄罗斯）=普

Answer 4

据我理解

函数返回域中的值，将n个元素映射到域的单个成员。

谓词根据您在系统中遵循的公理和推理规则确认您尝试建立的关系是否正确。

Answer 5

函数是给定输入只有一个值的关系。

来源：AIMA（人工智能现代方法书）

图片中的更多描述：