如何解决一阶逻辑中的谓词与函数
| 最近我对一阶逻辑中的谓词和函数之间的区别感到困惑。 到目前为止,我的理解是 谓词用于显示两个对象之间的比较或关系,例如,President(Obama,America)
函数用于指定特定对象是什么,例如,
Human(Obama)
现在我是要正确区分这两个术语,还是我完全错误,需要简要说明,我想征询专家的意见以澄清我的知识(或批准我的理解)。提前致谢
克里奥
解决方法
谓词是返回true或false的函数。
, 功能符号
将个人映射到个人
–
父亲(玛丽)=约翰
–
颜色(天空)=蓝色
•
谓词符号
将个人映射到真实价值
–
更大(5,3)
–
绿草地)
–
颜色(草绿色)
, 谓词是针对特定属性的对象或对象之间关系的确认。就是说该对象存在属性。如果为您提供美国总统的公式P,那么
P(奥巴马,美国)=真。
它告诉你你是对的,奥巴马担任美国总统的财产是真实的,而奥巴马担任美国总统的关系是真实的,但是
P(普京,美国)= false。
告诉普京担任美洲总统是错误的,因此告诉您一个或多个对象拥有或不拥有特定的财产或关系。
至于函数会返回与某个对象的特定属性相关的值,例如America's President(总统),Ann(安妮)的母亲等。您给它们提供一个值,它们就会返回一个值。就像让P是一个返回总统的函数的国家通过作为论点
P(美国)=奥巴马。
P(俄罗斯)=普京。
, 据我了解
函数返回域中的值,将n个元素映射到域的单个成员。
谓词根据您在系统中遵循的公理和推理规则确认您要建立的关系是否正确。
, 函数是一种关系,其中给定输入只有一个值。
来源:AIMA(人工智能,现代方法书)
图片中的更多描述:
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。