Multiagent Systems

of. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 89/731
2. Basic Architectures 1. Reactive Agents
Formal Model:
see: as up to now, but close relation between
observation and action: no transformation of the
input.
action: Set of behaviours and inhibition relation.
Beh := {〈c, a〉 : c ⊆ P, a ∈ A}.
〈c, a〉 “fires” if
see(s) ∈ c (c stands for “condition”).
≺ ⊆ Ag rules × Ag rules
is called inhibition-relation, Ag rules ⊆ Beh.
We require ≺ to be a total ordering.
b 1 ≺b 2 means: b 1 inhibits b 2 ,
b 1 has priority over b 2 .