www-ai.cs.tu-dortmund.de/PublicPublicationFiles/klingspor_94d.pdf
turin-report.dvi
Se
2
, T
3
, T
4
, diagonal) & sclass(Tr, Se
2
, , , left side) &
s jump(Tr, Se
2
, T
5
, T
6
, diagonal) & sclass(Tr, Se
3
, , , left side) &
d2succ(T
1
, T
3
) & d2succ(T
3
, T
5
) &
d2succ(T
2
, T [...] seq1(SF, Tr, SCl, T
1
, T
2
, M, Se
new
).
sequence(SF, Tr, SCl, T
1
, T
2
, M) ! seq2(SF, Tr, SCl, M, , T
1
, T
2
).
seq1(SF, Tr, SCl, T
1
, T
2
, M, Se) ! [ ]
seq1(SF, Tr, SCl, T
1
, T
2
, M, Se) ! part1(SF [...] Se, T
1
, T
2
, M].
sc(SCl) ! SCC where sensor class(SCl),
SCC =.. [SC, SCl].
or(M) ! ORC where movement(M),
ORC =.. [M, Or].
di(T
1
,T
2
) ! d1succ(T
1
,T
2
).
di(T
1
,T
2
) ! d2succ(T
1
,T
2
).
di(T
1 …
