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