Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site dartvax.UUCP
Path: utzoo!linus!decvax!dartvax!lorien
From: lorien@dartvax.UUCP (Lorien Y. Pratt)
Newsgroups: net.ai,net.lang.prolog
Subject: Request for AI info. (what is my field?)
Message-ID: <618@dartvax.UUCP>
Date: Sun, 15-Jan-84 20:58:32 EST
Article-I.D.: dartvax.618
Posted: Sun Jan 15 20:58:32 1984
Date-Received: Mon, 16-Jan-84 05:07:58 EST
Organization: Dartmouth College
Lines: 22

[]

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