Multiagent Systems

of. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 49/731
1. Introduction 3. Formal Description
Definition 1.14 (Characteristic Behaviour)
The characteristic behaviour of an agent a in
an environment Env is the set R of all possible
runs r : s 0 → a0 s 1 → a1 . . . s n → an . . . with:
1 for all n: a n = action(〈s 0 , a 0 . . . , a n−1 , s n 〉),
2 for all n > 0:
s n ∈ τ(s 0 , a 0 , s 1 , a 1 , . . . , s n−1 , a n−1 ).
For deterministic τ, the relation “∈” can be
replaced by “=”.