Nlp 谓词逻辑的词汇翻译

如何将以下语句转换为谓词逻辑：

---

“尽管考官希望所有学生都能达到E级或更高的要求，但有人会得到较低的分数并感到失望。”

第一步是定义字母表。采用以下一阶字母表和所需的解释：

一元谓词：

• S（x）：“x是学生”
• E（x）：“x是考官”
• G（x）：“x是一个等级”
• D（x）：“x感到失望”

二进制谓词：

• R（x，y）：“x是y的要求”
• B（x，y）：“x是y或更好”
• O（x，y）：“x接收y”

三元谓词：

• H（x，y，z）：“x希望y实现z”

e：常数（“e级”）

x、 y，z，w：变量

让我们将原始声明分为两部分：

S1：“主考人希望所有学生都能达到E级或更高的要求”

S2：“有人会得到较低的分数并感到失望”

并使用定义的字母表按一阶顺序书写：

S1:∃x（E（x）∧ ∀y（S（y）⇒ ∃Z∃w（R（z，e）∧ B（w，z）∧ H（x，y，w）））

S2：∃x∃y（S（x）∧ G（y）∧ O（x，y）∧ -B（y，e）∧ D（x））

最后我们计算原始语句，即：

S1∧ S2

请记住，这只是一个解释，将导致一个正确的（令人满意的）答案

---

我希望这有帮助

我有点同意你的解决方案，但我的教授似乎不同意。他评论道：“H谓词需要更一般化，L谓词需要更一般化，这样它就可以适用于任何情况，在这种情况下，某个人的成绩会被称为低于其他成绩。”然后，他提出了一个问题的词汇：E（x）：‘x是考官的（x）：‘x是学生的’G（x）：‘x是等级’R（x，y）：‘x是y’B（x，y）的要求：‘x是y或更好’H（x，y，z）：‘x希望y满足z’O（x，y）：‘x得到y’D（x）：‘x感到失望’‘E’：‘E级’（这是一个常数）@Hélder你原来的问题不要提到你教授指出的这个要求。不过，我已经用教授的建议更新了答案