一阶逻辑中的谓词与函数

| 最近我对一阶逻辑中的谓词和函数之间的区别感到困惑。 到目前为止，我的理解是 谓词用于显示两个对象之间的比较或关系，例如， 
President(Obama, America)
函数用于指定特定对象是什么，例如， 
Human(Obama)
现在我是要正确区分这两个术语，还是我完全错误，需要简要说明，我想征询专家的意见以澄清我的知识（或批准我的理解）。提前致谢 克里奥     
2020-02-03 6 条评论
分享

没有找到相关结果

    已邀请:

    很缴

            谓词是返回true或false的函数。     
    2020-02-03 0 0
    分享

    习让休堂溯

            功能符号 将个人映射到个人 – 父亲（玛丽）=约翰 – 颜色（天空）=蓝色 • 谓词符号 将个人映射到真实价值 – 更大（5,3） – 绿草地） – 颜色（草绿色）     
    2020-02-03 0 0
    分享

    葛瞎说漓

            谓词是针对特定属性的对象或对象之间关系的确认。就是说该对象存在属性。如果为您提供美国总统的公式P，那么   P（奥巴马，美国）=真。 它告诉你你是对的，奥巴马担任美国总统的财产是真实的，而奥巴马担任美国总统的关系是真实的，但是   P（普京，美国）= false。 告诉普京担任美洲总统是错误的，因此告诉您一个或多个对象拥有或不拥有特定的财产或关系。 至于函数会返回与某个对象的特定属性相关的值，例如America's President（总统），Ann（安妮）的母亲等。您给它们提供一个值，它们就会返回一个值。就像让P是一个返回总统的函数的国家通过作为论点   P（美国）=奥巴马。      P（俄罗斯）=普京。     
    2020-02-03 0 0
    分享

    郡晒景沧

            据我了解 函数返回域中的值，将n个元素映射到域的单个成员。 谓词根据您在系统中遵循的公理和推理规则确认您要建立的关系是否正确。     
    2020-02-03 0 0
    分享

    际恃啸称桅

            函数是一种关系，其中给定输入只有一个值。 来源：AIMA（人工智能，现代方法书） 图片中的更多描述：     
    2020-02-03 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.096108913421631