Knowledge and Inference discusses an important problem for software systems: How do we treat knowledge and ideas on a computer and how do we use...