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
Q.2.
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
Q.3.
Lifted inference rules require finding substitutions that make different logical expressions looks identical.
a) Existential Instantiation
b) Universal Instantiation
c) Unification
d) Modus Ponen
Q.4.
Which of the following is not the style of inference?
a) Forward Chaining
b) Backward Chaining
c) Resolution Refutation
d) Modus Ponen
Q.5.
For resolution to apply, all sentences must be in conjunctive normal form, a conjunction of disjunctions of literals.
a) True
b) False
Q.6.
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
Q.7.
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
Support mcqgeeks.com by disabling your adblocker.
Please disable the adBlock and continue. Thank you.