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