logic - 述語ロジックと CNF

Question

1 つの例、2 つの質問、2 つのアイデア:

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

1) 自然言語でそれはどういう意味ですか?

at(opic) があり、as(tudent) が a(人工知能) で 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、他の2つは想定どおりに定義されていると仮定します。あなたは基本的にそれを正しく持っています、あなたはちょうど忘れましたand aren't distracted:

「人工知能でこのトピックを学び、気が散らないすべての学生が人工知能試験に合格するようなトピックが存在します。」

2) ... リテラルの論理和はすべて CNF にあります。したがって、これは例が既に CNF にあることを意味します。