给出一个例子，两个问题，两个想法：

∃t ∀s learn(s, t, a) and not distracted(s) => passExam(s, a)

1) 这在自然语言中是什么意思？

存在一个主题 t，当一个学生 s 在人工智能 a 中学习这个主题 t 并且没有分心时，这个学生 s 将通过人工智能 a 的考试。

2) 它的CNF是什么？

not learn(G(x), F(x)) or distracted(G(x)) or passExam(G(x), a)

你觉得怎么样？

回答：

1) 这很大程度上取决于函数和变量的定义，但我假设 learn(a,b,c) := a 在领域 c 中学习主题 b，其他两个定义按通常的假设来解释。你基本上是对的，你只是忘了加上“并且没有分心”：

“存在一个主题，所有在人工智能领域学习这个主题并且没有分心的学生都将通过人工智能考试。”

2) … 所有文字的析取式都在CNF中。所以这意味着这个例子已经是CNF形式了。