Vidal's library
Title: Recursive functions of symbolic expressions and their computation by machine, Part I
Author: John McCarthy
Journal: Communications of the ACM
Volume: 3
Number: 4
Pages: 184--195
Publisher: ACM
Year: 1960
DOI: 10.1145/367177.367199
Abstract: A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments with a proposed system called the Advice Taker, whereby a machine could be instructed to handle declarative as well as imperative sentences and could exhibit "common sense" in carrying out its instructions. The original proposal [1] for the Advice Taker was made in November 1958. The main requirement was a programming system for manipulating expressions representing formalized declarative and imperative sentences so that the Advice Taker system could make deductions.

Cited by 384  -  Google Scholar

@article{mccarthy60a,
  author =	 {John McCarthy},
  title =	 {Recursive functions of symbolic expressions and
                  their computation by machine, Part I},
  journal =	 {Communications of the {ACM}},
  volume =	 3,
  number =	 4,
  year =	 1960,
  issn =	 {0001-0782},
  pages =	 {184--195},
  doi =		 {10.1145/367177.367199},
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
  cluster = 	 {1116810217707154074},
  abstract =	 {A programming system called LISP (for LISt
                  Processor) has been developed for the IBM 704
                  computer by the Artificial Intelligence group at
                  M.I.T. The system was designed to facilitate
                  experiments with a proposed system called the Advice
                  Taker, whereby a machine could be instructed to
                  handle declarative as well as imperative sentences
                  and could exhibit "common sense" in carrying out
                  its instructions. The original proposal [1] for the
                  Advice Taker was made in November 1958. The main
                  requirement was a programming system for
                  manipulating expressions representing formalized
                  declarative and imperative sentences so that the
                  Advice Taker system could make deductions.},
  url = 	 {http://jmvidal.cse.sc.edu/library/maccarthy60a.pdf},
}
Last modified: Wed Mar 9 10:13:20 EST 2011