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
Explanation: Definite clauses are a suitable normal form for use with generalized modus ponen. 5. Which will be the instance of the class data log knowledge bases?