Prentice Hall series in artificial intelligence