MCQs of Using Predicate Logic (Artificial Intelligence - 2180703)

Showing 21 to 30 out of 34 Questions

21.

Which can be converted to inferred equivalent CNF sentence?

(a)	Every sentence of propositional logic
(b)	Every sentence of inference
(c)	Every sentence of first-order logic
(d)	All of the mentioned

22.

Which sentence will be unsatisfiable if the CNF sentence is unsatisfiable?

23.

Which rule is equal to the resolution rule of first-order clauses?

(a)	Propositional resolution rule
(b)	Inference rule
(c)	Resolution rule
(d)	None of the mentioned

24.

At which state does the propositional literals are complementary?

(a)	If one variable is less
(b)	If one is the negation of the other
(c)	All of the mentioned
(d)	None of the mentioned

25.

What is meant by factoring?

(a)	Removal of redundant variable
(b)	Removal of redundant literal
(c)	Addition of redundant literal
(d)	Addition of redundant variable

26.

What will happen if two literals are identical?

27.

When the resolution is called as refutation-complete?

28.

Which are more suitable normal form to be used with definite clause?

29.

Which algorithm will work backward from the goal to solve a problem?

30.

Which problem can frequently occur in backward chaining algorithm?

(a)	Repeated states
(b)	Incompleteness
(c)	Complexity
(d)	Both Repeated states & Incompleteness

Showing 21 to 30 out of 34 Questions