Artificial intelligence. A new synthesis - Nilson, Nils J. (Morgan Kaufmann Publishers, 1998)