Intelligent agents need knowledge about the world to choose good actions or take good decisions.
Knowledge – domain specific
Inference – domain independent
Tautology (valid) – A proposition which is always true.
Contradiction – A proposition which is always false.
Sound inference – derives only entailed sentences.
Complete – derives all entailed sentences.
A entails B Iff A implies B is valid.