Menu

Question Discussion & Solution

MCQ

Q.

When the resolution is called as refutation-complete?

A

Sentence is satisfiable

B

Sentence is unsatisfiable

C

Sentence remains the same

D

None of the mentioned

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

MCQ

1.

First Order Logic is also known as ___________

A

First Order Predicate Calculus

B

Quantification Theory

C

Lower Order Calculus

D

All of the mentioned

Discussion

MCQ

2.

Which problem can frequently occur in backward chaining algorithm?

A

Repeated states

B

Incompleteness

C

Complexity

D

Both Repeated states & Incompleteness

Discussion

MCQ

3.

Which are needed to compute the logical inference algorithm?

A

Logical equivalence

B

Validity

C

Satisfiability

D

All of the mentioned

Discussion

MCQ

4.

Which sentence will be unsatisfiable if the CNF sentence is unsatisfiable?

A

Search statement

B

Reading statement

C

Replaced statement

D

Original statement

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