AI MCQ

AI MCQ #324: Which sentence will be unsatisfiable if the CNF sentence is unsatisfiable?

AI MCQ #340: Which algorithm will work backward from the goal to solve a problem?

AI MCQ #325: Which rule is equal to the resolution rule of first-order clauses?

AI MCQ #326: At which state does the propositional literals are complementary?

AI MCQ #327: What is meant by factoring?

AI MCQ #328: What will happen if two literals are identical?

AI MCQ #329: When the resolution is called as refutation-complete?

AI MCQ #330: Which condition is used to cease the growth of forward chaining?

AI MCQ #331: Which closely resembles propositional definite clause?

AI MCQ #332: What is the condition of variables in first-order literals?