술어 논리와 CNF는

-2

는 하나의 주어진 예를 들어, 두 가지 질문,이 개 아이디어는 :술어 논리와 CNF는

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

1) 어떤 점에서 자연 언어를 의미?

(OPIC) (tudent)는 (rtificial 정보)에 해당 t (OPIC)를 학습하고 산란되지 않기 때문에,이 S 때 (tudent)는 (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) ... all disjunctions of literals are in CNF. 이것은 CNF에 예제가 있음을 의미합니다.

2013-01-14 17:17:15 Dukeling

답장을 보내 주셔서 감사합니다. 그러나이 예에서 우리는''배우고 (s, t, a),주의를 산만하게하지 않는다 ''와 암시와 두 개의 퀀텀을 가진다. 그것들은 제거되어야한다 (Skolemization), 나는 생각했다. –

@MichaelDorner 나는 Skolemization에 너무 익숙하지 않다. 그러나 나는 그것을 보는 방식으로'존재하는 것을 얻는다 '는 것을'존재한다'라고 변환 시키며, 실제로는이 경우에는 적용되지 않는 것으로 보인다. – Dukeling

답변