Artificial intelligence a new synthesis - Nilsson, Nils J (Morgan Kaufmann, Singapore, 1998)