Menu

Knowledge and Reasoning Questions

MCQ
11.
An inference algorithm that derives only entailed sentences is called sound or truth-preserving.
forum Discussion
MCQ
12.
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.
forum Discussion
MCQ
13.
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.
forum Discussion
MCQ
14.
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.
forum Discussion
MCQ
15.
What among the following could the universal instantiation of ___________ For all x King(x) ^ Greedy(x) => Evil(x)
forum Discussion
MCQ
16.
Lifted inference rules require finding substitutions that make different logical expressions looks identical.
forum Discussion
MCQ
17.
Which of the following is not the style of inference?
forum Discussion
MCQ
18.
In order to utilize generalized Modus Ponens, all sentences in the KB must be in the form of Horn sentences.
forum Discussion
MCQ
19.
For resolution to apply, all sentences must be in conjunctive normal form, a conjunction of disjunctions of literals.
forum Discussion
MCQ
20.
What are the two basic types of inferences?
forum Discussion
chevron_left BackPage 2 of 9Next chevron_right