一阶逻辑中的谓词与函数答案

【问题标题】：Predicate vs Functions in First order logic一阶逻辑中的谓词与函数
【发布时间】：2011-09-14 07:57:56
【问题描述】：

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

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

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

President(Obama, America)

功能是指定特定对象是什么，例如，

Human(Obama)

现在我正朝着区分这两个术语的正确方向前进，或者我完全错了，需要一个简短的解释，我希望专家的意见来澄清我的知识（或批准我的理解）。提前致谢

克里奥

【问题讨论】：

【解决方案1】：

谓词是一个返回真或假的函数。

【讨论】：

【解决方案2】：

功能符号，将个人映射到个人 – （玛丽）的父亲 = 约翰 – 颜色（天空）=蓝色 • 谓词符号，将个人映射到真值 – 更大（5,3） – 绿草地） – 颜色（草、绿）

【讨论】：

【解决方案3】：

据我了解

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

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

【讨论】：

【解决方案4】：

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

P(Obama,America)=true.

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

P(Putin,America)=false。

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

P(美国)=奥巴马。

P(俄罗斯)=普京。

【讨论】：

【解决方案5】：

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

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

图片中的更多描述：

【讨论】：