+1 vote
in Artificial Intelligence by
What kind of clauses are available in Conjunctive Normal Form?

(a) Disjunction of literals

(b) Disjunction of variables

(c) Conjunction of literals

(d) Conjunction of variables

The question was asked in examination.

This interesting question is from Resolution in portion 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
Right option is (a) Disjunction of literals

For explanation: First-order resolution requires the clause to be in disjunction of literals in Conjunctive Normal Form.

Related questions

0 votes
asked Dec 6, 2021 in Artificial Intelligence by DavidAnderson
0 votes
asked Nov 1, 2021 in Artificial Intelligence by DavidAnderson
...