一个例子，两个问题，两个想法:
∃t ∀s learn(s, t, a) and not distracted(s) => passExam(s, a)
1)在自然语言中是什么意思?
有一个t(opic)，当一个s(学生)在a(人工智能)中学习到t(opic)并且不分心时，这个s(学生)通过了a(i)的考试
2)它的CNF是多少?
not learn(G(x), F(x)) or distracted(G(x)) or passExam(G(x), a)
你觉得怎么样?
1)这在很大程度上取决于函数和变量是如何定义的，但我假设learn(a,b,c) := a learns topic b in area c和其他2是根据假设定义的。你基本上是对的，你只是忘记了and aren't distracted:
"存在这样一个题目，所有在人工智能中学习这个题目并且不分心的学生都能通过人工智能考试。"
2)…字面的所有析取都在CNF中。这意味着这个例子已经在CNF中了