Logic 使用一阶逻辑描述胶片（实体和属性）

早上好， 我想了解如何用一阶逻辑来描述事物

例如，我想描述什么是电影（实体），什么是电影的属性（例如演员：克鲁尼）。我如何用一阶逻辑来描述它

*******更新********

我需要在第一个逻辑顺序中解释的是：

实体：可以用一组属性或属性来描述的元素、抽象或对象。所以我想我必须说，这个实体有一组属性和它们各自的值。实体描述元素、抽象或对象

属性：属性始终具有值，并且始终与实体关联。它描述实体的特定功能/属性

---

文档：纯文本描述（纯文本，不包含任何html标记）。每个文档通过其属性只描述一个实体。

要声明对象具有特定属性，可以使用单位置谓词。例如，要声明

x

是一部电影，您可以编写

film（x）

。如果您想将某个值赋予一个对象，可以使用两个（或更多）位置谓词。用你的例子，你可以说克鲁尼在一部电影中扮演了

starred（克鲁尼，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))))

至于该文件，这只是这些声明的结合。例如，乔治·克鲁尼的描述如下：

Entity(clooney) & Has(clooney, starred, gravity) & Has(clooney, bornIn, lexington) & ...

执行此操作的典型方法是解释特定对象存在并且此对象具有某些属性。例如：

(∃x)(property1(x) & property2(x) & ~property3(x))

aka：存在一个满足属性1和属性2但不满足属性3的事物

您当前的问题表述不清楚您所说的属性和文档是什么意思。也许与您对属性的想法相反：可以将满足属性1的所有实体描述为
属性1的域；例如，
blue
的域都是蓝色对象

一阶逻辑与HTML无关——您是否试图以某种方式使用HTML来表示一阶逻辑中的实体？你的问题到底是什么还不清楚
 谢谢你的回答。。。我已经更新了我的答案。。。这有点复杂。。。我不需要特别描述一部电影。。。我需要描述什么是实体（电影），它的属性。。。请看一看：谢谢你的更新，我认为你的答案是最好的。。。请您也用文档定义更新它好吗？我会把你的答案记为最好的！非常感谢你的回答。我已经用更多的细节更新了我的答案。。。请参阅我问题的更新部分，其中有我必须使用第一个逻辑顺序描述的所有内容。。我需要一种语言来帮助我说出我用语言解释的内容：D@UsiUsi我看到了你的解释，但毫无帮助，我仍然几乎不知道你在找什么。目前看来，你的问题似乎不适合这样做。罗曼的回答很有表现力，我认为你需要比你的编辑添加更多的解释。您的编辑基本上是描述逻辑命题是如何工作的，下面的答案已经解释了这一点。