Artificial Intelligence A new Synthesis - Nilsson J. Nils