The following is discussed in that article with regard to two approaches to deeper cognitive tutoring.

One of the reasons that cognitive tutors are not more pervasive is that the knowledge engineering required for each problem is significant. And that knowledge engineering involves a lot of technical skill.

We’re trying to bend the cost curve for deeper (i.e., more cognitive) tutoring by simplifying the knowledge engineering process and skill requirements. For example, here’s a sentence translated into under-specified logic:

The underspecified quantifier here is a little sophisticated, but the machine can handle it (i.e., the variable ?x7 refers to the pair of angles, not the individual angles).

We’re hoping that a few hundred (or even thousands) of these sentences with the reasoning infrastructure (akin to Watson’s) will allow deeper tutors to be developed more easily by communities of educators.