www-ai.cs.tu-dortmund.de/PublicPublicationFiles/muehlenbrock_94f.pdf
naddi.dvi
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 [...] in the occupied area, which is represented by the integrity constraint
5
in(o1,a,o1,t) & in(o2,a,o1,t) & solid(o1) & ne(o2,o1) >.
Since this integrity constraint is violated by the above facts, an Agenda [...] between(earth,sun,me,state1).
which partially corresponds to the facts
in(me,up,earth,state1).
in(sun,down,earth,state1).
On the contrary, Model 3 states with
in(earth,down,earth,state1).
that the earth itself …
