Engineering Questions with Answers - Multiple Choice Questions

# Artificial Intelligence MCQ – Unification and Lifting

1 - Question

What is the process of capturing the inference process as a single inference rule?
a) Ponens
b) Clauses
c) Generalized Modus Ponens
d) Variables

Explanation: All kinds of inference process can be captured as a single inference rule that can be called as Generalized modus ponens.

2 - Question

Which process makes different logical expression looks identical?
a) Lifting
b) Unification
c) Inference process
d) None of the mentioned

Explanation: Lifted inference rules require finding substitutions that make different logical expression looks identical. This process is called unification.

3 - Question

Which algorithm takes two sentences and returns a unifier?
a) Inference
b) Hill-climbing search
c) Depth-first search
d) Unify algorithm

Explanation: The unify algorithm takes two sentences and returns a unifier if there is one in the sentence.

4 - Question

Which is a lifted version of modus ponens?
a) Generalized modus ponens
b) Inference
c) Clauses
d) None of the mentioned

Explanation: Generalized modus ponens is a lifted version of modus ponens because it raises modus ponens from propositional to first-order logic.

5 - Question

Which is unique up to renaming of variables?
a) Unifier
b) Most general unifier
c) Unifier & Most general unifier
d) None of the mentioned

Explanation: For every unifiable pair of expressions, there is a single most general unifier that is unique up to renaming of variables.

6 - Question

Which makes the complexity of the entire algorithm quadratic in the size?
a) Clause
b) Inference
c) Resolution
d) Occur check

Explanation: Occur check makes the complexity of the entire algorithm quadratic in the size of the expressions being unified.

7 - Question

How many functions are available in the unification and lifting process?
a) 1
b) 2
c) 3
d) 4

Explanation: The four functions are available in the unification and lifting process are tell, ask, store and fetch.

8 - Question

Where did all the facts are stored to implement store and fetch function?
a) Database
b) Knowledge base
c) Datamart
d) All of the mentioned

Explanation: The simplest way to implement store and fetch functions is to keep all the facts in the knowledge base in one long list.

9 - Question

What is meant by predicate indexing?
a) All the one kind of facts in one bucket and another kind in other bucket
b) Acts like index for facts
c) All of the mentioned
d) None of the mentioned

Explanation: None.

10 - Question

How the buckets are stored in predicate indexing?
a) Lists
b) Stack
c) Hashes
d) None of the mentioned