www-ai.cs.tu-dortmund.de/en/PublicPublicationFiles/klingspor_94d.pdf
turin-report.dvi
: : : : : : 7
3.2.2 Learning results in the doorway domain : : : : : : : : : : : : : : : : 8
3.3 Rdt : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10
3.3.1 General description [...] the rule:
P(X
1
, X
2
) ! Concl(X
1
, X
2
).
P(X
1
, X
2
) & P(X
2
, X
3
) ! Concl(X
1
, X
3
).
P(X
1
, X
2
) & P(X
2
, X
3
) & P(X
3
, X
4
) ! Concl(X
1
, X
4
).
.
.
.
These rules can be described by grendel's [...] Se, T
1
, T
i
, ) &
BF(Tr, , Se, T
2
, T
3
, )
! Concl(Tr, Se, T
1
, T
3
, M).
increasing(Tr, , Se, T
1
, T
2
, ) &
BF(Tr, , Se, T
2
, T
3
, ) &
seq(Tr, Se, T
3
, T
e
, M)
! Concl(Tr, Se, T
1
, T
e
, M) …
