Knowledge and Inference - Nagao, Makoto (Academic, 1990)