A shell for developing non-monotonic user modeling systems