Menu

Question Discussion & Solution

MCQ

Q.

Which is a refutation complete inference procedure for propositional logic?

A

Clauses

B

Variables

C

Propositional resolution

D

Proposition

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.

A common convention is:

A

True

B

False

C

n>

Discussion

MCQ

2.

Which is used to compute the truth of any sentence?

A

Which is used to compute the truth of any sentence?

B

Which is used to compute the truth of any sentence?

C

First-order logic

D

Both Semantics of propositional logic & Alpha-beta pruning

Discussion

MCQ

3.

Which can be converted to inferred equivalent CNF sentence?

A

Every sentence of propositional logic

B

Every sentence of inference

C

Every sentence of first-order logic

D

All of the mentioned

Discussion

MCQ

4.

What form of negation does the prolog allows?

A

Negation as failure

B

Proposition

C

Substitution

D

Negation as success

Discussion

MCQ

5.

Which condition is used to cease the growth of forward chaining?

A

Atomic sentences

B

Complex sentences

C

No further inference

D

All of the mentioned

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