The rule of Universal Instantiation (UI for short) says that we can infer any sentence obtained by substituting a ground term (a term without variables) for the variable.
  • a) True
  • b) False
The corresponding Existential Instantiation rule: for the existential quantifier is slightly more complicated. For any sentence a, variable v, and constant symbol k that does not appear elsewhere in the knowledge base.
  • a) True
  • b) False
Lifted inference rules require finding substitutions that make different logical expressions looks identical.
  • a) Existential Instantiation
  • b) Universal Instantiation
  • c) Unification
  • d) Modus Ponen
Which of the following is not the style of inference?
  • a) Forward Chaining
  • b) Backward Chaining
  • c) Resolution Refutation
  • d) Modus Ponen
For resolution to apply, all sentences must be in conjunctive normal form, a conjunction of disjunctions of literals.
  • a) True
  • b) False
What are the two basic 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 every rule to Horn Clause, Reduction to propositional logic
Translate the following statement into FOL.
  • a) ∀ a PhD(a) -> Master(a)
  • b) ∃ a PhD(a) -> Master(a)
  • c) A is true, B is true
  • d) A is false, B is false
0 h : 0 m : 1 s