Multiagent Systems

Prof. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 75/731
1. Introduction 3. Formal Description
An achievement task is given be a task
environment 〈Env
Env, Ψ〉), if there is some G ⊆ S
such that
for all r ∈ R(a,Env
Env) : Ψ(r) iff ∃ s ∈ G : s ∈ r.
A maintenance task is given be a task
environment 〈Env
Env, Ψ〉), if there is some B ⊆ S
such that
for all r ∈ R(a,Env
Env) : Ψ(r) iff ∀ s ∈ B : s ∉ r.