Menu

Question Discussion & Solution

MCQ

Q.

Which is omitted in prolog unification algorithm?

A

Variable check

B

Occur check

C

Proposition check

D

Both Occur & Proposition check

Community Discussion

No discussions yet. Be the first to start!

You must be logged in to participate in the discussion.

Login to Discuss

Similar Questions

Discussion

MCQ

3.

Which is mainly used for automated reasoning?

A

Backward chaining

B

Forward chaining

C

Logic programming

D

Parallel programming

Discussion

MCQ

4.

From which rule does the modus ponens are derived?

A

Inference rule

B

Module rule

C

Both Inference & Module rule

D

None of the mentioned

Discussion

MCQ

5.

Which rule is equal to the resolution rule of first-order clauses?

A

Propositional resolution rule

B

Inference rule

C

Resolution rule

D

Resolution rule

Discussion

More Artificial Intelligence Topics

Basic Artificial Intelligence

116 MCQs

Intelligent Agents

55 MCQs

Problem Solving

96 MCQs

Logical Agents

49 MCQs

Adversarial Search

32 MCQs

Fuzzy Logic

14 MCQs

Knowledge and Reasoning

87 MCQs

Expert Systems

10 MCQs

Robotics

22 MCQs

Inductive Logic Programming

15 MCQs

LISP Programming

42 MCQs

Communicating, Perceiving and Acting

68 MCQs

Introduction

0 MCQs