A Formal Framework for Interactive Agents |
| |
Authors: | Carolyn L. Talcott |
| |
Affiliation: | aComputer Science Laboratory, SRI International, Menlo Park, CA 94025, USA |
| |
Abstract: | 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. |
| |
Keywords: | interaction coordination distributed object reflection policy autonomy |
本文献已被 ScienceDirect 等数据库收录! |
|