Metacognition the Mathematical Way: Trying to Nest Constructs

Metacognition in Computation

Volume

Papers from the 2005 AAAI Spring Symposium

Contents

Nesting of computational constructs is prevalent in computers. If one had a rigorous and general formal model of cognition, a high-level programmable and computable schema, then it would be possible to provide a cognitive AI system with that schema, let the system apply the schema to its own cognition as a substitution instance, thus turning the system into a metacognitive system. Concerns would still include infinite nesting and `first person' grounding.