Second Annual Conference on Advances in Cognitive Systems Poster Collection (2013) 19-28 Formal Limits to Heuristics in Cognitive Systems

The recognition that human minds/brains are finite systems with limited resources for computa-tion has led researchers in cognitive science to advance the Tractable Cognition thesis: Human cognitive capacities are constrained by computational tractability. As also human-level AI in its attempt to recreate intelligence and capacities inspired by the human mind is dealing with finite systems, transferring this thesis and adapting it accordingly may give rise to insights that can help in progressing towards meeting the final goals of AI. We therefore develop formal models usable for guiding the development of cognitive systems and models by applying notions from param-eterized complexity theory and approximation theory to a general AI framework, putting special emphasis on connections and correspondences to the heuristics framework as recent development within cognitive science and cognitive psychology