Talcott, C. L. (2008). A formal framework for interactive agents. Electronic Notes in Theoretical Computer Science, 203(3), 95-106.
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features of different points in the design space, and to develop executable specifications of specific agents and study their interactions with the environment. A long term goal is development of reasoning principles specialized to different regions of the design space.