Question

Which are more suitable normal form to be used with definite clause?

(a) Positive literal

(b) Negative literal

(c) Generalized modus ponens

(d) Neutral literal

This question was posed to me in an online interview.

Query is from Forward Chaining 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

Answer 1

The correct option is (c) Generalized modus ponens

To elaborate: Definite clauses are a suitable normal form for use with generalized modus ponen.