Выдержка из бумаги [A Universal Modular ACTOR Formalism for Artificial Intelligence] от создателя модели акторов Карла Хьюита [соавторы: Peter Bishop, Richard Steiger]:
Наша цель - создавать прочный фундамент для решения проблем.
Фундамент должен быть той средой, в которую эффективно и естественно вписываются методы решений проблем реального мира. Мы должны представлять реализуемые идеи в терминах частей нашего знания и интерфейсов между ними. При конструировании моделей мы должны иметь возможность добавлять туда новые компоненты, расширять модели, без необходимости переписывать их с нуля. Многие из этих компонентов могут быть добавлены при помощи декларативных формализмов, таких как исчисление кванторов, путем простого введния новых аксиом. Императивные формализмы, такие как акторы, не могут быть автоматически расширены так же легко. Однако, мы вводим механизмы, которые позволяют добиваться огромной гибкости при добавлении новых процедурных компонентов.
Для тех, кто сомневается в надлежащем качестве перевода, привожу оригинальный кусок:
Our aim is to build a firm procedural foundation for problem solving. The foundation attempts to be a matrix in which real world problem solving knowledge can be efficiently and naturally embedded. We envisage knowledge being embedded in a set of knowledge boxes with interfaces between the boxes.
In constructing models we need the ability to embed more knowledge in the model without having to totally rewrite it. Certain kinds of additions can be easily encompassed by declarative formalisms such as the quantificational calculus by simply adding more axioms. Imperative formalisms such as actors do not automatically extend so easily. However, we are implementing mechanisms that allow a great deal of flexibility in adding new procedural knowledge.
Из этого куска видно, что Хьюит однозначно относит акторы к императивной модели. Однако я, погуглив немного, обнаружил, что модель акторов пытаются прилепить куда угодно, только не к императивщине. В основном, об акторах говориться в контексте таких языков как эрланг и скала, которые являются ФП с примесью ООП, насколько я понял. Может существуют какие то особенные, уличные акторы, о которых их создатель не знал?
