1. : Which of the following are the two elementary types of inferences?
(A) Reduction to propositional logic, Manipulate rules directly
(B) Reduction to propositional logic, Apply modus ponen
(C) Apply modus ponen, Manipulate rules directly
(D) Convert each rule to Horn Clause, Reduction to propositional logic
2. : Translate the given statement into FOL: “For each a, if a is a student of masters, then a has a bachelors degree”
(A) ∀a masters(a) → bachelors(a)
(B) ∃a masters(a) → bachelors(a)
(C) A is true, B is true
(D) A is false, B is false
3. : Which of the following is not the style of inference?
(A) Forward Chaining
(B) Backward Chaining
(C) Resolution Refutation
(D) Modus Ponen
4. : Which of the following could the Existential instantiation of ∃x Cap(x) ∧ OnHead(x, Johnny)?
(A) Cap(John) ∧ OnHead(John, Johnny)
(B) Cap(y) ∧ OnHead(y, y, x)
(C) Cap(x) ∧ OnHead(x, Johnny)
(D) None of these
5. : Which of the following could be the universal instantiation of: ∀x Prince(x) ∧ Greedy(x) → Evil(x)?
(A) Prince(Saqib) ∧ Greedy(Saqib) → Evil(Saqib)
(B) Prince(y) ∧ Greedy(y) → Evil(y)
(C) Prince(Richard) ∧ Greedy(Richard) → Evil(Richard)
(D) All of these
6. : Lifted inference rules need discovering the substitutions that make dissimilar logical expressions that have a similar appearance.
(A) Existential Instantiation
(B) Universal Instantiation
(C) Unification
(D) Modus Ponen