问题标签 [first-order-logic]

我试图弄清楚你将如何将“[agent A] 想要 [verb] to [agent B]”编码为一阶逻辑（例如“John想要咬 Sara”）。

将“约翰咬萨拉”编码为 FOL 将是：bites(John, Sara)或者如果你喜欢John(x) ^ Sara(y) ^ bites(x,y).

另外，我注意到这种关系可能是递归的。例如：

• 《约翰想要咬萨拉》（约翰想要有咬萨拉的欲望）

• “John 想要想要咬 Sara”（John 想要处于想要咬 Sara 的状态）。

有谁知道我该如何处理，尤其是“约翰想咬萨拉”这句话。

我想了解如何翻译序言规则

为一阶逻辑。

是∀x,y(brother(x,y) -> brother(g(x), g(y))正确的答案吗？

我想知道计算语义是否真的用于任何现实世界的系统？（此处和此处的简单示例）。我想看看实际系统是如何工作的。

在任何现实世界的系统中实际使用计算语义似乎存在很多问题：

• 似乎只是用词性标签标记句子很容易出错。
• 但是您还需要一个可靠的解析树，它容易出错，并且一个句子可以有许多有效的树。
• 查找哪些代词指代哪些实体容易出错。
• 单词消歧也是错误的另一个来源，多个含义在同一上下文中可能是有效的。
• 我能找到的任何上下文无关的英语语法似乎都不完整。

最后，在避开了所有这些错误来源之后，我们终于可以使用 Computation Semantics 将句子转换为 FOL！

此外，我似乎无法弄清楚如何处理计算语义中的介词。

这真的只是一个学术练习还是计算语义真的有用？

我有两个命题p和q。那么将子句写成这样是否合法： q ∧ p ∧ ¬ p 我假设在这种情况下 p ∧ ¬ p = F 将始终为 False，因此该子句将 q ∧ F = F 导致整个子句为 False。

我在这里浏览了有关 FOL 问题的文档，我必须转换相应 FOL 中的表达式。

正好有一个学生通过了考试。

两个选项如下，我不确定这两个代表什么

所以有人可以帮我弄清楚这些的含义。我知道正确的答案是什么，但无法理解上面的两种表示。我在想

我的表述是否正确？

对于表达式

从波士顿起飞的航班到了。

我需要给出一个面向事件的一阶逻辑表示。

如果是的话the flight arrived，我会说

到达(e) ^ 到达_事物(e,flight)

我如何将命题短语融入from boston其中？

How does one compare the equality of functions in Alloy? Something like:

考虑“位置” r 和 s 的以下规则：

我试图实现如下：

但它没有编译说相邻无法解决。我尝试了 eval(adjacent($s,$r)) 但它不起作用，因为 rete 一直在访问 $s 和 $r 的相同组合。

我尝试在 Location 上实现相邻（）方法，但它也没有编译：

我想到了一些替代方案，例如：使每个位置都有一个相邻位置的列表；等等。但它们都不适合我。

如何实现这一点的正确方法？

简而言之，我有一个 EBNF 语法和一个解析树，但我不知道是否有一个程序可以在一阶逻辑中翻译它。

例如：

有一只熊。熊要么睡在它的洞穴里，要么在森林里打猎。如果熊饿了，它就不会睡觉。如果熊累了，它就不会打猎。

问题一

使用您的谓词和/或对象在 FOPC 中制定上面的故事。

尝试A

问题 B

将您的 FOPC 转换为合取范式

尝试 B

不知道如何转换为 CNF，因为我无法完成 A 部分！