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, invisible [...] specication of possible sequencing eects on their conceptual development in sec-
tion 4.
2 2 MODELING CONCEPTUAL STRUCTURES
2 Modeling Conceptual Structures
The constructivist view on human learning has been [...] 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 …