一个给出的例子，两个问题，两个想法：
∃t ∀s learn(s, t, a) and not distracted(s) => passExam(s, a)
1）用自然语言表示什么意思？
有一个t（opic），当s（tudent）在（人工智能）中学习t（opic）并且没有分心时，这个（tudent）在（i）中通过考试
2）它的CNF是什么？
not learn(G(x), F(x)) or distracted(G(x)) or passExam(G(x), a)
您怎么看？
答案 0 :(得分：1)
1）这在很大程度上取决于函数和变量的定义方式，但我假设learn(a,b,c) := a learns topic b in area c和其他2按照假定的定义。你基本上是对的，你忘记了and aren't distracted：
“有一个主题是，所有在人工智能中学习这个主题并且不会分心的学生都会通过人工智能考试。”
2）... all disjunctions of literals are in CNF。所以这意味着这个例子已经在CNF中了。