+1 vote
in Artificial Intelligence by
Which sentence will be unsatisfiable if the CNF sentence is unsatisfiable?

(a) Search statement

(b) Reading statement

(c) Replaced statement

(d) Original statement

The question was posed to me during an interview for a job.

Asked question is from Resolution topic in section 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
The correct option is (d) Original statement

The best explanation: The CNF statement will be unsatisfiable just when the original sentence is unsatisfiable.
...