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) It can derive any sentence that is an entailed version & It is truth preserving
I got this question in a national level competition.
The origin of the question is Knowledge and Reasoning in section Knowledge and Reasoning of Artificial Intelligence