What among the following could the universal instantiation of……..
For all x King(x) ^ Greedy(x) => Evil(x)
a) King(John) ^ Greedy(John) => Evil(John)
b) King(y) ^ Greedy(y) => Evil(y)
c) King(Richard) ^ Greedy(Richard) => Evil(Richard)
d) All of these
Explanation: Refer the definition if universal instantiation.
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) Resolution Refutation
c) Backward Chaining
d) Modus Ponen
Explanation: Modus ponen is a rule for an inference.
In order to utilize generalized Modus Ponens, all sentences in the KB must be in the form of Horn sentences.
a) True
b) False
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
