lorien@dartvax.UUCP (Lorien Y. Pratt) (01/16/84)
[] I'm interested in studying how human thought can be formalized so that it can be realized on a machine. I have read Godel, Escher, Bach and found it inspiring. I've read Feigenbaum's Handbook of Artificial Intelligence and found it awfully applied with little theory. I took a course in Cognitive Psychology in college, but the work to which I was exposed seemed little more than attempts at simulating individual theories of cognitive function on a computer in order to strengthen their validity. Friends tell me that I should explore the field of logic. I own the Prolog Clocksin & Mellish book and we're getting up a Prolog compiler here, but I'd like a pointer to a good introductory book on the subject that I can read on my own with a Computer Science B. A. background. --Lorien Y. Pratt Dartmouth College Library Hanover, NH 03755 decvax!dartvax!lorien