Representation Competence

must reason from incomplete information
- non-monotonic reasoning KB |— F doesn’t imply KB + O |— F
- probabilistic reasoning p(F|KB) = n doesn’t imply p(F|KB+O) = n