Литература

1. Маккарти McCarthy, J., "Recursive Functions of Symbolic Expressions and their Computation by Machine" Communications of the Association for Computing Machinery, vol. 3, 1960, and "A Basis for a Mathematical Theory of Computation, in Proceedings of the Western Joint Computer Conference, 1961. Исходные работы по языку Лисп. Представляют исторический интерес.
2. Маккарти и др. LISP 1.5 Programmer's Manual, M.I.T. Press, Cambridge, Massachusetts, 1965. Интересный, хотя и сильно устаревший комментарий по языку Лисп и его первой реализации. Эта книга представляет собой источник ложного впечатления, что Лисп трудно выучить. Имеется целый ряд учебников по языку Лисп. Следующие из них представляются особенно интересными:
3. Вейссман С. Weissman," LISP 1.5 Primer", Dickenson Publishing Company, Belmont, California, 1967. Очень хороший, но теперь уже устаревший учебник. В нем вводятся два понятия, намеренно нами опущенные, а именно точечное обо-значение и EVALQUOTE. Мы не рассматриваем точечное обозначение, поскольку оно вызывает у начинающих большие трудности. Мы избегаем использования EVALQUOTE, поскольку в настоящее время им не пользуются.
4. Сиклоши Ciclossy L., Let's Talk LISP, Prentice-Hall, Englewood Cliffs, New Jersey, 1976. Самый последний учебник, содержащий много хороших соображений. В отношении других языков искусственного интеллекта можно рекомендовать следующую литературу:
5. Фельдман и др. Feldman J. et al., "Recent Developments in SAIL-An ALGOL-Based Language for Artificial Intelligence", FJCC Proceedings, 1972.
6. Ньюэлл Newell A. (editor), Information Processing Language V Manual, Prentice-Hall, Engelwood Cliffs, New Jersey, 1961. Представляет исторический интерес.
7. Хьюитт HewittC., "Description and Theoretical Analysis (using Schemata)_of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot", PhD thesis, AI-TR-258, The artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1972. Как можно было бы предположить из названия, это довольно толстая диссертация, достаточно трудная для понимания, но весьма важная, поскольку в ней было развито понятие о демонах. Почти все предпочитают усваивать ее основные идеи по указываемой ниже работе "MICRO-PLANNER Reference Manual",
8. Сассман, Виноград, Чарняк Sussman G., Winograd Т., Charniak Е., "MICRO-PLANNER Reference Manual", AI-M-203A, The Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1971. Система PLANNER К. Хьюитта изложена в достаточно понятной форме. Однако эта система просуществовала недолго. В конечном счете она уступила место более новой системе Хьюитта ACTOR и системе Сассмана и Макдермотта CONNIVER.
9. Ребо, Сейсердоти Reboh R., Sacerdoti Е., A Preliminary QLISP Manual, SRI Artificial Intelligence Center Technical Note 81, Stanford Research Institute, Menlo Park, California, 1973.
10. Бэрстолл, Коллинз, Попплстоун Burstall R. М., Collins J. S., Popplestone R. J., "Programming in POP2", Edinburgh University Press. Edinburgh, Scotland, 1971.
11. Дэвис Davies J. М.,"POPLAR: A POP-2 PLANNER", MIP-R-89, School of Artificial Intelligence, University of Edinburgh, Scotland, 1971.
12. Хьюитт Hewitt C., How to Use What You Know", in Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, available from the Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts. Хорошее введение в ACTORS.
13. Сассман, Макдермотт Sussman G., McDermott D., "Why Conniving is Better than Planning", AI-M-255A, The Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1972. Исследование недостатков системы PLANNER и выдвижение альтернатив в виде системы CONNIVER. Приведены достаточно серьезные соображения против использования автоматического возвращения назад. Введены представления о контекстах.
14. Бобров, Рафаэл Bobrow D. G., Raphael В., "New Programming Languages for AI Research", Association for Computing Machinery Computing Surveys, vol. 6, no. 3, September 1974. Сопоставление основных языков программирования искусственного интеллекта с обсуждением управляющих структур.