Explanation: First-order literals will accept variables only if they are universally quantified. 4. Which is more suitable normal form to be used with definite clause?
A. Positive literal
B. Negative literal
C. Generalized modus ponens
D. Neutral literal
Answer:A
Explanation: First-order literals will accept variables only if they are universally quantified. 4. Which is more suitable normal form to be used with definite clause?
A. Positive literal B. Negative literal C. Generalized modus ponens D. Neutral literal