Menu

Question Discussion & Solution

MCQ

Q.

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

A

Search statement

B

Reading statement

C

Replaced statement

D

Original statement

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.

Which is also called single inference rule?

A

Reference

B

Resolution

C

Reform

D

None of the mentioned

Discussion

MCQ

2.

What will backward chaining algorithm will return?

A

Additional statements

B

Substitutes matching the query

C

Logical statement

D

All of the mentioned

Discussion

MCQ

3.

What form of negation does the prolog allows?

A

Negation as failure

B

Proposition

C

Substitution

D

Negation as success

Discussion

MCQ

4.

Which will be the instance of the class datalog knowledge bases?

A

Variables

B

No function symbols

C

First-order definite clauses

D

None of the mentioned

Discussion

MCQ

5.

Which problem can frequently occur in backward chaining algorithm?

A

Repeated states

B

Incompleteness

C

Complexity

D

Both Repeated states & Incompleteness

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