Menu

Question Discussion & Solution

MCQ

Q.

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

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.

What is the condition of literals in variables?

A

Existentially quantified

B

Universally quantified

C

Quantified

D

None of the mentioned

Discussion

MCQ

2.

How to eliminate the redundant rule matching attempts in the forward chaining?

A

Decremental forward chaining

B

Decremental forward chaining

C

Data complexity

D

None of the mentioned

Discussion

MCQ

3.

Which is omitted in prolog unification algorithm?

A

Variable check

B

Occur check

C

Proposition check

D

Both Occur & Proposition check

Discussion

MCQ

4.

What is the condition of variables in first-order literals?

A

Existentially quantified

B

Universally quantified

C

Both Existentially & Universally quantified

D

None of the mentioned

Discussion

MCQ

5.

How the logic programming can be constructed?

A

Variables

B

Expressing knowledge in a formal language

C

Graph

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