Inference algorithm is complete only if,
A. It can derive any sentence
B. It can derive any sentence that is an entailed version
C. It is truth preserving
D. Both b & c
Answer:A
Inference algorithm is complete only if,
A. It can derive any sentence B. It can derive any sentence that is an entailed version C. It is truth preserving D. Both b & c
Explanation: None 10. In order to utilize generalized Modus Ponens, all sentences in the KB must be in the form of Horn sentences.