Multiagent Systems

1. Introduction 3. Formal Description
Definition 1.21 (Characteristic Behaviour)
The characteristic behaviour of a state-based agent
a state in an environment Env is the set of all finite
sequences
with
(i 0 , p 0 ) → a0 (i 1 , p 1 ) → a1 . . . → an (i n , p n ), . . .
1 for all n: a n = action(i n ),
2 for all n: next(i n , p n ) = i n+1 ,
Sequence covers the runs r : s 0 → a0 s 1 → a1 . . . where
a j = action(i j ),
s j ∈ τ(s 0 , a 0 , s 1 , a 1 , . . . , s j−1 , a j−1 ),
p j = see(s j )
Prof. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 63/731