Logical Agents Questions

MCQ bookmark_border

21.

What is the condition of literals in variables?

A

Existentially quantified

B

Universally quantified

C

Quantified

D

None of the mentioned

Correct Answer: B

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

22.

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

Correct Answer: C

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

23.

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

A

Search statement

B

Reading statement

C

Replaced statement

D

Original statement

Correct Answer: D

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

24.

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

Correct Answer: A

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

25.

At which state does the propositional literals are complementary?

A

If one variable is less

B

If one is the negation of the other

C

All of the mentioned

D

None of the mentioned

Correct Answer: B

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

26.

What is meant by factoring?

A

Removal of redundant variable

B

Removal of redundant literal

C

Addition of redundant literal

D

Addition of redundant variable

Correct Answer: B

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

27.

What will happen if two literals are identical?

A

Remains the same

B

Added as three

C

Reduced to one

D

None of the mentioned

Correct Answer: C

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

28.

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

Correct Answer: B

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

29.

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

Correct Answer: C

Check Answer report_problem Report forum Discussion

MCQ bookmark_border

30.

Which closely resembles propositional definite clause?

A

Resolution

B

Inference

C

Conjunction

D

First-order definite clauses

Correct Answer: D

Check Answer report_problem Report forum Discussion