MCQ
Q.
In order to utilize generalized Modus Ponens, all sentences in the KB must be in the form of Horn sentences.
Correct Answer: A