Go backward to
Action and Transition
Go up to
Top
Go forward to
Restrictions
Composite Agents
Composite Agent
A|B
A
->
a
A'
allows
A|B
->
a
A'|B
A'
->
c
A
allows
A'|B
->
c
A|B
A'
->
c
A
and
B
->
c
B'
allows
A'|B
->
tau
A|B'
Completed (perfect)
action
tau
.
Simultaneous action of both agents.
Internal
to composed agent.
Act
=
L
U {
tau
}
Internal versus external actions
Internal actions are ignored.
Only external actions are visible.
Two systems are
equivalent
if they exhibit same pattern of external actions.
P
->
tau
P
1
->
tau
...->
tau
P
n
equivalent to
P
->
tau
P
n
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998