Agent Theories are used to model applications. Theory should be formal (predicate calculus) Interpretation is at least consistent in some sense Model is useful and intuitive