Artificial intelligence: A new synthesis - Nilsson, Nils, J. (Singapore, 2000)