Thank You...!
Incorrect Question 11 0/5 pts Consider the following resolution process: Resolution Process: 5.-R(a.y) -R(y,a) v R(aa)...
Incorrect Question 7 0/5 pts Which of the following proposition is true? (A) The clause {P(a,x,f(g(y))), P(z,f(z),f(u))} is unifiable and the set MGU = {[z/a], [x/f(a)], [u/g(y)]} is the most general unifier for it. (B) The clause (P(f(a),g(x)), P(7.7)} is not unifiable. (C) The clause {P(a,x), P(z,f(z))} is unifiable and the set MGU {[z/a], [x/f(a)]) is the most general unifier for it. (D) All of the above. (A (B) (C) (D)
Incorrect Question 10 0/5 pts Which of the following proposition is false? (A) To prove that a formula F in First-Order Logic (FOL) is a valid formula, is sufficient to prove that the formula -F is a contradiction. (B) To prove that a logical consequence F=G where F and G are formulas in FOL is valid, is sufficient to prove that the formula FA-G is a contradiction. (C) The SAT-problem in First Order Logic is a NP-complete problem. (D) Let...
Incorrect Question 5 0/5 pts S3 = [y/g(h(a,b))] Consider the following substitutions: S1 = [y/f(a,g(h(a,b)))] S2 = [x/f(a,y)] Which are legal ground substitutions? (A) S1 and S3 (B) S2 and 53 (C) S1 and 52 (D) All of above mentioned (A) (B) (C) (D)
Incorrect Question 8 0/5 pts Consider the following clause: {P(a,x,h(g(z))), P(z,h(y),h(y))} After unification the following clause is obtained (A) P(a,h(g(a)), h(g(a)))} (B) P(a,h(g(x)),(g(a)))} (C) The original clause is not unifiable (D) None of these. (A) (B) (C) (D)