ARTIFICIAL INTELLIGENCE: A New Synthesis - NILS J NILSSON (MORGAN KAUFMAN, 2002)