Evolving knowledge in natural science and artificial intelligence - Tiles, J. E.; McKee, G. T.; Dean, G. C. (Pitman, 1990)