Den här sidan har inte korrekturlästs
(< mo)
Q(x)
→ P(x).
d
S
d
mora
m
m
(<>m mi) QI(Q) Q2(0)
P1(P)->P2(P) -->P3(P)
e
Q21(02)→Q22(Q2)
Figure 9: A Reference Hierarchy Mirroring a Process Hierarchy.
Q(x)
P(x)
S
m
m
QI(Q)
→Q2(Q.P)
P1(P)
- P2(P)
→P3(P)
<
e
e
<
e
Q21(Q2)→Q22(A2)
Figure 10: The Process Knowledge After Two Updates.