Artificial intelligence : a new synthesis - Nilsson, Nils J., 1933-