logic - 谓词逻辑和 CNF

Question

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

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

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

有at(opic)，当as(tudent)在a(rtificial intelligence)中了解到t(opic)并且没有分心，这个s(tudent)通过a(i)中的考试

2）它的CNF是什么？

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

你怎么看？

Answer 1

1）这在很大程度上取决于函数和变量的定义方式，但我会假设learn(a,b,c) := a learns topic b in area c，另外两个根据假设定义。你基本上是对的，你只是忘记了and aren't distracted：

“有一个话题，所有在人工智能中学习这个话题并且不分心的学生都会通过人工智能考试。”

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