21. |
Which can be converted to inferred equivalent CNF sentence?
|
||||||||
Answer:
Option (c) |
22. |
Which sentence will be unsatisfiable if the CNF sentence is unsatisfiable?
|
||||||||
Answer:
Option (d) |
23. |
Which rule is equal to the resolution rule of first-order clauses?
|
||||||||
Answer:
Option (a) |
24. |
At which state does the propositional literals are complementary?
|
||||||||
Answer:
Option (b) |
25. |
What is meant by factoring?
|
||||||||
Answer:
Option (b) |
26. |
What will happen if two literals are identical?
|
||||||||
Answer:
Option (c) |
27. |
When the resolution is called as refutation-complete?
|
||||||||
Answer:
Option (b) |
28. |
Which are more suitable normal form to be used with definite clause?
|
||||||||
Answer:
Option (c) |
29. |
Which algorithm will work backward from the goal to solve a problem?
|
||||||||
Answer:
Option (b) |
30. |
Which problem can frequently occur in backward chaining algorithm?
|
||||||||
Answer:
Option (d) |