The realization of the theoretical concept of meta-knowledge allows for modeling correct interpretations as well as examining misinterpretations.
The above spatial reasoning example has been completely specified in the system. Reasoning alternatives based on various types of interpretations can be performed and visualized.

© 1998 DFG-Projekt Aspektkarten