Natasha Alechina, Brian Logan
In this position paper, we present a methodology for the formal evaluation of agent architectures. We argue that any agent architecture can be formally represented by a set of state transition systems. We then show how both qualitative and quantitative properties of an architecture can be evaluated using logical formulas interpreted in this set of state transition systems. In addition, we also provide a precise notion of what it means for an agent described in implementation specific terms to have or implement a given architecture.
Subjects: 2. Architectures; 9.3 Mathematical Foundations
Submitted: May 17, 2007