Artificial Inteligence A new Synthesis - Nils j Nilsson (Harcourt Asia, 2000)