To an outsider like me, this looks very impressive. On looking through the paper giving a 3-page summary of the Denotic Cognitive Event Calculus (<a href="http://www.cs.rpi.edu/~govinn/dcec.pdf" rel="nofollow">http://www.cs.rpi.edu/~govinn/dcec.pdf</a>), I got the impression that this apparent self-awareness was in some way built into the language - for example, 'Self' appears to be a word declared in the syntax. I don't know if this is so, or if it really matters - perhaps someone who does could comment?