David Kirsh Foundations of artificial intelligence bookFoundations of artificial intelligenceDavid KirshCambridge, MA, 1992