wpu.nu

Sida:Ann-1983 JBC25001-00 James Allen - Maintaining knowledge about temporal intervals.pdf/28

Från wpu.nu

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.