Multiagent Systems

Prof. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 60/731
1. Introduction 3. Formal Description
Definition 1.19 (Characteristic Behaviour)
The characteristic behaviour of a standard agent
〈see, action〉 in an environment Env is the set of all finite
sequences
where
p 0 → a0 p 1 → a1 . . . p n → an . . .
p 0 = see(s 0 ),
a i = action(〈p 0 , . . . , p i 〉),
p i = see(s i ), where s i ∈ τ(s 0 , a 0 , s 1 , a 1 , . . . , s i−1 , a i−1 ).
Such a sequence, even if deterministic from the agent’s
viewpoint, may cover different environmental behaviours
(runs):
s 0 → a0 s 1 → a1 . . . s n → an . . .