Introduction to artificial intelligence - Jackson, Philip C., 1949-