Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
One given example, two questions, two ideas:
∃t ∀s learn(s, t, a) and not distracted(s) => passExam(s, a)
1) What means that in natural language?
There is a t(opic), when a s(tudent) learns that t(opic) in a(rtificial intelligence) and is not distracted, this s(tudent) pass the exam in a(i)
2) What is the CNF of it?
not learn(G(x), F(x)) or distracted(G(x)) or passExam(G(x), a)
What do you think?
1) It greatly depends how the functions and variables are defined, but I’ll assume
learn(a,b,c) := a learns topic b in area cand the other 2 defined as per what would be assumed. You basically have it right, you just forgot theand aren't distracted:“There exists a topic such that all students who learn this topic in Artificial Intelligence and aren’t distracted will pass the Artificial Intelligence exam.”
2) … all disjunctions of literals are in CNF. So this means the example is already in CNF.