Back to the 2022 paper

Module 2: Knowledge Representation and Reasoning

20222m

Inference algorithm is completed only if

(i) it can derive any sentence
(ii) it can derive any sentence that is an entailed version
(iii) it is truth preserving
(iv) it can derive any sentence that is an entailed version and it is truth preserving

Similar questions