Formal Evaluation of Agent Architectures

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.