Stack Exchange Network
Stack Exchange network consists of 181 Q&A communities including
Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack Exchange
Artificial Intelligence Stack Exchange is a question and answer site for people interested in conceptual questions about life and challenges in a world where "cognitive" functions can be mimicked in purely digital environment. It only takes a minute to sign up.
Sign up to join this community
Anybody can ask a question
The best answers are voted up and rise to the top
2 years, 5 months ago
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.
37.1k 11 11 gold badges 90 90 silver badges 165 165 bronze badges
Oct 5, 2020 at 3:17
log in to answer this question.
By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our
Accept all cookies
Necessary cookies only