[mannykannot]

Having thought about it some more, what I think is going on here is that the Denotic Cognitive Event Calculus formalizes the deductive steps that a rational and already self-aware agent would perform, and the program is therefore just 'going through the motions'. If so, then this is not like becoming self-aware as a result of experience processed by generalized intelligence, something that several species are capable of.