| | |
Summary: This paper was selected by a process of
anonymous peer reviewing for presentation at
COMMONSENSE 2007
8th International Symposium on Logical Formalizations of Commonsense Reasoning
Part of the AAAI Spring Symposium Series, March 26-28 2007,
Stanford University, California
Further information, including follow-up notes for some of the
selected papers, can be found at:
www.ucl.ac.uk/commonsense07
Towards a Theory of AI Completeness
Dafna Shahaf and Eyal Amir
Computer Science Department
University of Illinois, Urbana-Champaign
Urbana, IL 61801, USA
{dshahaf2,eyal}@uiuc.edu
Abstract
In this paper we present a novel classification of compu-
tational problems. Motivated by a theoretical investigation
of Artificial Intelligence (AI), we present (1) a complexity
model for computational problems that includes a human in
|
