Unification and Lifting MCQ

Test your knowledge with important Unification and Lifting MCQ and their applications. These MCQs are beneficial for competitive exams too. Explore 30+ more Unification and Lifting MCQs on Bissoy. Bissoy App

• How the buckets are stored in predicate indexing?
  ক

  Lists

  খ

  Stack

  গ

  Hashes

  ঘ

  None of the mentioned
• What is meant by predicate indexing?
  ক

  All the one kind of facts in one bucket and another kind in other bucket

  খ

  Acts like index for facts

  গ

  All of the mentioned

  ঘ

  None of the mentioned
• Where did all the facts are stored to implement store and fetch function?
  ক

  Database

  খ

  Knowledge base

  গ

  Datamart

  ঘ

  All of the mentioned
• How many functions are available in the unification and lifting process?
  ক

  1

  খ

  2

  গ

  3

  ঘ

  4
• Which makes the complexity of the entire algorithm quadratic in the size?
  ক

  Clause

  খ

  Inference

  গ

  Resolution

  ঘ

  Occur check
• Which is unique up to renaming of variables?
  ক

  Unifier

  খ

  Most general unifier

  গ

  Unifier & Most general unifier

  ঘ

  None of the mentioned
• Which is a lifted version of modus ponens?
  ক

  Generalized modus ponens

  খ

  Inference

  গ

  Clauses

  ঘ

  None of the mentioned
• Which algorithm takes two sentences and returns a unifier?
  ক

  Inference

  খ

  Hill-climbing search

  গ

  Depth-first search

  ঘ

  Unify algorithm
• Which process makes different logical expression looks identical?
  ক

  Lifting

  খ

  Unification

  গ

  Inference process

  ঘ

  None of the mentioned
• What is the process of capturing the inference process as a single inference rule?
  ক

  Ponens

  খ

  Clauses

  গ

  Generalized Modus Ponens

  ঘ

  Variables