Prentice Hall series in artificial intelligence - Russell, Stuart Jonathan; Norvig, Peter