使用一阶逻辑描述电影(实体和属性)
发布时间：2020-12-14 16:40:47 所属栏目：资源 来源：网络整理
导读：早上好, 我想了解如何使用第一顺序逻辑描述某些内容. 例如,我想描述一部电影(实体)是什么,以及电影的属性(例如演员：克鲁尼)是什么.如何使用一阶逻辑来描述？ *******更新******** 我需要在第一个逻辑顺序中解释的是： ENTITY：可以使用一组属性或属性描述的
|
早上好,
我想了解如何使用第一顺序逻辑描述某些内容. 例如,我想描述一部电影(实体)是什么,以及电影的属性(例如演员：克鲁尼)是什么.如何使用一阶逻辑来描述？ *******更新******** 我需要在第一个逻辑顺序中解释的是： ENTITY：可以使用一组属性或属性描述的元素,抽象或对象.所以我认为我必须说实体有一组具有各自值的属性.实体描述元素,抽象或对象. 属性：属性总是有一个值,它总是与一个实体相关联.它描述了实体的特定功能/属性. 文档：纯文本描述(纯文本不包含任何html标签).每个文档仅通过其属性描述一个实体. 解决方法
要声明对象具有某个属性,您将使用单个位置谓词.例如,要声明x是电影,你可以写电影(x).如果要将某个值归属于对象,则可以使用两个(或更多)位置谓词.用你的例子你可以说克鲁尼出演了一部名为Starred(clooney,x)的电影.
人们使用某些约定.例如,谓词以大写字母(Actor,Film,FatherOf)开头,常量以小写字母(x,clooney,batman)开头.常量表示对象,谓词表示对象.对于具有多个参数的谓词,第一个参数通常是您正在声明的主题.这样你就可以自然地将逻辑公式作为正常语言的句子.例如,FatherOf(x,y)将读为“x是y的父亲”. 更新答案： 我不确定你是否可以在一阶逻辑中做到这一点.您可以将实体描述为具有某些属性的事物,例如 forall x (Entity(x) ==> Object(x) | Element(x) | Abstraction(x)) 这对于属性来说有点困难.在第一顺序逻辑中,属性将某些质量归于对象或将其与另一对象相关联.您可以使用三位谓词,如： forall attribute (exists object (exists value (Has(object,attribute,value)))) 至于文件,这只是这些陈述的结合.例如,George Clooney的描述可能如下： Entity(clooney) & Has(clooney,starred,gravity) & Has(clooney,bornIn,lexington) & ... （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |