AI-Complete, AI-Hard, or AI-Easy - Classification of Problems in AI

The paper contributes to the development of the theory of AI-Completeness by formalizing the notion of AIComplete and AI-Hard problems. The intended goal is to provide a classification of problems in the field of General Artificial Intelligence. We prove Turing Test to be an instance of an AI-Complete problem and further show numerous AI problems to be AI-Complete or AI-Hard via polynomial time reductions. Finally, the paper suggests some directions for future work on the theory of AI-Completeness. KeywordsAI-Complete, AI-Easy, AI-Hard, Human

[1]  Junpeng Chen,et al.  Combining Lexical Stability and Improved Lexical Chain for Unsupervised Word Sense Disambiguation , 2009, 2009 Second International Symposium on Knowledge Acquisition and Modeling.

[2]  Roman V Yampolskiy,et al.  Artificial General Intelligence and the Human Mental Model , 2012 .

[3]  Roman V. Yampolskiy,et al.  What to Do with the Singularity Paradox? , 2011, PT-AI.

[4]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[5]  John R. Searle,et al.  Minds, brains, and programs , 1980, Behavioral and Brain Sciences.

[6]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[7]  Arash Shaban-Nejad,et al.  A framework for analyzing changes in health care lexicons and nomenclatures , 2010 .

[8]  Dafna Shahaf,et al.  Generalized Task Markets for Human and Machine Computation , 2010, AAAI.

[9]  Eric Horvitz,et al.  Complementary computing: policies for transferring callers from dialog systems to human receptionists , 2006, User Modeling and User-Adapted Interaction.

[10]  Shane Legg,et al.  Universal Intelligence: A Definition of Machine Intelligence , 2007, Minds and Machines.

[11]  John Langford,et al.  CAPTCHA: Using Hard AI Problems for Security , 2003, EUROCRYPT.

[12]  John P. McIntire,et al.  A variety of automated turing tests for network security: Using AI-hard problems in perception and cognition to ensure secure collaborations , 2009, 2009 International Symposium on Collaborative Technologies and Systems.

[13]  Jayme L. Szwarcfiter,et al.  A Theoretical Framework to Formalize AGI-Hard Problems , 2010, AGI 2010.

[14]  Edmund A. Mennis.  The Wisdom of Crowds: Why the Many Are Smarter than the Few and How Collective Wisdom Shapes Business, Economies, Societies, and Nations , 2006 .

[15]  John P. McIntire,et al.  Ideas on authenticating humanness in collaborative systems using AI-hard problems in perception and cognition , 2009, Proceedings of the IEEE 2009 National Aerospace & Electronics Conference (NAECON).

[16]  Craig Gentry,et al.  Secure distributed human computation , 2005, EC '05.

[17]  Roman V. Yampolskiy,et al.  Embedded non-interactive CAPTCHA for Fischer Random Chess , 2011, 2011 16th International Conference on Computer Games (CGAMES).

[18]  Paul Taylor,et al.  Speech synthesis by phonological structure matching , 1999, EUROSPEECH.

[19]  Andreas Stolcke,et al.  Meetings about meetings: research at ICSI on speech in multiparty conversations , 2003, 2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)..

[20]  J J Vidal,et al.  Toward direct brain-computer communication. , 1973, Annual review of biophysics and bioengineering.

[21]  Wael Salloum.  A Question Answering System Based on Conceptual Graph Formalism , 2009, 2009 Second International Symposium on Knowledge Acquisition and Modeling.

[22]  Roman V. Yampolskiy,et al.  Leakproofing the Singularity Artificial Intelligence Confinement Problem , 2012 .

[23]  Roman V Yampolskiy,et al.  Safety Engineering for Artificial General Intelligence , 2012, Topoi.

[24]  Lynette Hirschman,et al.  Natural language question answering: the view from here , 2001, Natural Language Engineering.

[25]  Desney S. Tan,et al.  Complementary computing for visual tasks: Meshing computer vision with human visual processing , 2008, 2008 8th IEEE International Conference on Automatic Face & Gesture Recognition.

[26]  James A. Hendler,et al.  We've Come a Long Way, Maybe … , 2008, IEEE Intelligent Systems.

[27]  Roman V. Yampolskiy,et al.  AI-Complete CAPTCHAs as Zero Knowledge Proofs of Access to an Artificially Intelligent System , 2012 .

[28]  Nathan Dimmock,et al.  Peer-to-peer collaborative spam detection , 2004, CROS.

[29]  Luis von Ahn.  Games with a Purpose , 2006, Computer.

[30]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[31]  Roman V. Yampolskiy,et al.  Artificial Intelligence Safety Engineering: Why Machine Ethics Is a Wrong Approach , 2011, PT-AI.

[32]  Hideyuki Takagi,et al.  Interactive evolutionary computation: fusion of the capabilities of EC optimization and human evaluation , 2001, Proc. IEEE.

[33]  Evgeny Chutchev.  A Formalization of the Turing Test , 2010, ArXiv.

[34]  M. A. Anusuya,et al.  Speech Recognition by Machine, A Review , 2010, ArXiv.

[35]  D.R. Reddy,et al.  Speech recognition by machine: A review , 1976, Proceedings of the IEEE.

[36]  Venu Govindaraju,et al.  Embedded noninteractive continuous bot detection , 2008, CIE.

[37]  Gökhan Dalkiliç,et al.  Word sense disambiguation for Turkish , 2009, 2009 24th International Symposium on Computer and Information Sciences.

[38]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[39]  STUART M. SHIEBER.  The Turing Test as Interactive Proof , 2007 .

[40]  Richard Bergmair.  Natural Language Steganography and an \AI-complete" Security Primitive , 2006 .

[41]  Stuart M. Shieber.  Does the Turing Test Demonstrate Intelligence or Not? , 2006, AAAI.

[42]  Jerald D. Kralik,et al.  Real-time prediction of hand trajectory by ensembles of cortical neurons in primates , 2000, Nature.

[43]  P. Jonathon Phillips,et al.  An introduction to biometric-completeness: The equivalence of matching and quality , 2009, 2009 IEEE 3rd International Conference on Biometrics: Theory, Applications, and Systems.

[44]  Eric Horvitz,et al.  Reflections on Challenges and Promises of Mixed-Initiative Interaction , 2007, AI Mag..

[45]  Nick Bostrom,et al.  Whole Brain Emulation , 2008 .

[46]  Paola Velardi,et al.  Structural semantic interconnections: a knowledge-based approach to word sense disambiguation , 2005, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[47]  Shennan A. Weiss,et al.  Rat navigation guided by remote control , 2002 .

[48]  Phoebe Sengers,et al.  Interactionist AI and the promise of ubicomp, or, how to put your box in the world without putting the world in your box , 2008, UbiComp.

[49]  Dafna Shahaf,et al.  Towards a Theory of AI Completeness , 2007, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[50]  John C. Mallery.  Thinking About Foreign Policy: Finding an Appropriate Role for Artificially Intelligent Computers , 1988 .

[51]  James Surowiecki.  The wisdom of crowds: Why the many are smarter than the few and how collective wisdom shapes business, economies, societies, and nations Doubleday Books. , 2004 .

[52]  Nancy Ide,et al.  Introduction to the Special Issue on Word Sense Disambiguation: The State of the Art , 1998, Comput. Linguistics.

[53]  Tsz-Yan Chan,et al.  Using a test-to-speech synthesizer to generate a reverse Turing test , 2003, Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence.