MCQOPTIONS
Saved Bookmarks
MCQOPTIONS
This section includes 10 Mcqs, each offering curated multiple-choice questions to sharpen your Artificial Intelligence knowledge and support exam preparation. Choose a topic below to get started.
| 1. |
WHAT_WILL_HAPPEN_IF_TWO_LITERALS_ARE_IDENTICAL??$ |
| A. | Remains the same |
| B. | Added as three |
| C. | Reduced to one |
| D. | None of the mentioned |
| Answer» D. None of the mentioned | |
| 2. |
When_the_resolution_is_called_as_refutation-complete?$ |
| A. | Sentence is satisfiable |
| B. | Sentence is unsatisfiable |
| C. | Sentence remains the same |
| D. | None of the mentioned |
| Answer» C. Sentence remains the same | |
| 3. |
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 |
| Answer» C. Addition of redundant literal | |
| 4. |
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 |
| Answer» C. All of the mentioned | |
| 5. |
Which rule is equal to resolution rule of first-order clauses? |
| A. | Propositional resolution rule |
| B. | Inference rule |
| C. | Resolution rule |
| D. | None of the mentioned |
| Answer» B. Inference rule | |
| 6. |
Which sentence will be unsatisfiable if the CNF sentence is unsatisfiable? |
| A. | Search statement |
| B. | Reading statement |
| C. | Replaced statement |
| D. | Original statement |
| Answer» E. | |
| 7. |
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 |
| Answer» D. All of the mentioned | |
| 8. |
What is the condition of literals in variables? |
| A. | Existentially quantified |
| B. | Universally quantified |
| C. | Quantified |
| D. | None of the mentioned |
| Answer» C. Quantified | |
| 9. |
What kind of clauses are available in Conjunctive Normal Form? |
| A. | Disjunction of literals |
| B. | Disjunction of variables |
| C. | Conjunction of literals |
| D. | Conjunction of variables |
| Answer» B. Disjunction of variables | |
| 10. |
Which is a refutation complete inference procedure for propositional logic? |
| A. | Clauses |
| B. | Variables |
| C. | Propositional resolution |
| D. | Proposition |
| Answer» D. Proposition | |