+1 vote
in Artificial Intelligence by
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

The question was asked during an internship interview.

Enquiry is from Resolution in chapter Logical Agents of Artificial Intelligence

Select the correct answer from above options

Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience

1 Answer

0 votes
by
Correct answer is (c) Every sentence of first-order logic

For explanation I would say: Every sentence of first-order logic can be converted to inferred equivalent CNF sentence.

Related questions

+1 vote
asked Oct 26, 2021 in Artificial Intelligence by DavidAnderson
0 votes
asked Nov 1, 2021 in Artificial Intelligence by DavidAnderson
...