1. : Single inference rule is another name of?
(A) Reference
(B) Resolution
(C) Reform
(D) None of these
2. : What is the total number of proposition symbols in artificial intelligence?
(A) 5
(B) 2
(C) 3
(D) 6
3. : Which clause can be viewed as a single literal of disjunction?
(A) Multiple clause
(B) Combine clause
(C) Unit clause
(D) None of these
4. : Which of the following is helpful to compute the truth of any sentence?
(A) Semantics of propositional logic
(B) Alpha-beta pruning
(C) First-order logic
(D) Both A and B
5. : Which of the following are required to compute the logical inference algorithm?
(A) Logical equivalence
(B) Validity
(C) Satisfiability
(D) All of these
6. : Which of the following sentences can be created by using single propositional symbol?
(A) Complex sentences
(B) Atomic sentences
(C) Composition sentences
(D) None of these
7. : What is the total number of logical connectives in artificial intelligence?
(A) 7
(B) 3
(C) 6
(D) 5
8. : Which of the following is helpful to compute the truth of any sentence?
(A) Semantics of propositional logic
(B) Alpha-beta pruning
(C) First-order logic
(D) Both A and B
9. : Which of the following are required to compute the logical inference algorithm?
(A) Logical equivalence
(B) Validity
(C) Satisfiability
(D) All of these
10. : The modus ponens are derived from which rule?
(A) Inference rule
(B) Module rule
(C) Both Inference and Module rule
(D) None of these