Литература

1. Саймон Simon Н. A., "The Sciences of the Artificial", The М. I. T. Press, Cambridge, Massachusetts, 1969. Отсюда взят пример о муравье. В этой классической небольшой книге содержится также обсуждение предложенного Саймоном понятия почти разложимых систем и почему наука от них зависит.
2. Миллер, Галантер, Прибрам Miller G. A., Galanter Е., Pribram К. Н., "Plans and the Structure of Behaviour", Holt, Rinehart, and Winston, New York. 1960. Предполагается определенная психологическая модель некоторых видов поведения, выделяющая понятие последовательностей тест - операция.
3. Эрнст, Ныоэлл Ernst G., Newell A., "GPS: A Case Study in Generality and Problem Solving", Academic Press, New York, 1969. Одна из первых работ по системе GPS, содержащая около дюжины примеров проблемных областей, таких, как интегральное исчисление и геометрия на плоскости, выраженных в терминах, свойственных GPS.
4. Бледсоу Bledsoe W. W., "Non-Resolution Theorem Proving", ATM-29, Department of Mathematics and Computer Sciences, University of Texas, Austin, Texas, 1975. Переработанный вариант учебной лекции на 4-й Международной объединенной конференции по искусственному интеллекту. Прекрасный обзор работ по автоматическому доказательству теорем,
5. Дэвис, Кинг Davis R., King J., "An Overview of Production Systems", AIM-271, The Artificial Intelligence Laboratory, Stanford University, Stanford, California, 1975. Прекрасное рассмотрение, охватывающее как достоинства, так и недостатки систем продукций.
6. Эрман, Лeccep Erman L. D., Lesser V. R., "А Multi-level Organization for Problemsolving Using Many, Diverse, Cooperating Sources of Knowledge", Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, available through the М. I. T. Artificial Intelligence Laboratory, Cambridge, Massachusetts, 1975. Работа интересна и принятой в ней точкой зрения на понимание речи, и тем, что она выглядит как необычайно общая система продукций. Вся межпроцессорная связь осуществляется посредством так называемой доски, которую отдельные "специалисты" по мере необходимости могут использовать и для записей, и для считывания.
7. Ньюэлл, Саймон Newell A., Simon Н. A., Human Problem Solving, Prentice-Hall, Englewood Cliffs, New Jersey, 1972. Классическая книга по системам продукций. Она объемиста. Она чрезвычайно важна. Следующие три источника описывают работу, проделанную в связи с системой решения задач STRIPS, построенной в Стэнфордском исследовательском институте.
8. Файкс, Нильсон Fikes R. Е., Nilsson N. J., "STRIPS: A new Approach to the Application of Theorem Proving to Problem Solving", Artificial Intelligence, vol. 2., no. 3-4, 1971. Основная статья, описывающая STRIPS.
9. Файкс, Харт, Нильсон Fikes R. Е., Hart P. E., Nilsson N. J., "Learning and Executing Generalized Robot Plans", Artificial Intelligence, vol. 3, 1972. Изложение идеи треугольных таблиц и супероператоров.
10. Сайсердоти Sacerdoti Е. D., "Planning in a Hierarchy of Abstraction Spaces", Artificial Intelligence, vol. 5, no. 2, 1974. Дает хорошее представление о проблеме планирования.