In section 7.3 of the book Artificial Intelligence: A Modern Approach (3rd edition), it's written

An inference algorithm that derives only entailed sentences is called sound or truth-preserving.

The property of completeness is also desirable: an inference algorithm is complete if it can derive any sentence that is entailed.

However, this does not make much sense to me. I'd like someone to kindly elaborate on this.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.