www-ai.cs.tu-dortmund.de/PublicPublicationFiles/muehlenbrock_94f.pdf
naddi.dvi
premise, e.g.,
covers(o1,o2,o3,e) -> disappears(o2,o3,e).
Note that disappears is also a concept predicate, which is to represent a concept of dis-
appearing , and that o1, o2, o3 and e are variables. This [...] predicate in the con-
clusion, such as
not(between(o1,o2,o3,s1)) & invisible(o2,o1,o3,s2) & state_seq(s1,e,s2)
& not(stationary(o1,e)) -> covers(o1,o2,o3,e).
This rule species that the concepts between, invisible [...] Model 3 the sun moves behind
some hills at night and causes the day/night cycle in this way (see gure 2). Note that
in Model 1 the sun seems to be stationary and the clouds move, whereas in Model 3 it is …
