What is Artificial Intelligence? Psychometric AI as an Answer

We propose an answer to the "What is AI?" question, namely, that Al is really (or at least really ought in significant part to be) Psychometric AI (PAI). Along the way, we: set out and rebut five objections to PAI; describe PERI, a robot in our lab who exemplifies PAI; and briefly treat the future of Psychometric AI, first by pointing toward some promising PAI-based applications, and then by raising some of the "big" philosophical questions the success of Psychometric AI will raise.

[1]  R. Sternberg.  The Triarchic Mind: A New Theory of Human Intelligence , 1988 .

[2]  E. Torrance,et al.  The Torrance Tests of Creative Thinking , 2012 .

[3]  Stuart M. Shieber.  Computing Machinery and Intelligence , 2004 .

[4]  Selmer Bringsjord,et al.  Superminds: People Harness Hypercomputation, and More , 2003 .

[5]  M. Fischler,et al.  Intelligence: The Eye, the Brain, and the Computer , 1987 .

[6]  William C. Regli,et al.  Design Repositories for the Semantic Web with Description-Logic Enabled Services , 2003, SWDB.

[7]  Paliath Narendran,et al.  Unification of Concept Terms in Description Logics , 2001, Description Logics.

[8]  A. Jensen,et al.  The g factor , 1996, Nature.

[9]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .

[10]  E. Torrance.  The nature of creativity as manifest in its testing. , 1988 .

[11]  Franz Baader,et al.  Computing the Least Common Subsumer w.r.t. a Background Terminology , 2004, Description Logics.

[12]  R. Descartes,et al.  The Philosophical Works of Descartes , 1967 .

[13]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[14]  Richards J. Heuer,et al.  Psychology of Intelligence Analysis , 1999 .

[15]  Mohand-Said Hacid,et al.  On automating Web services discovery , 2003, The VLDB Journal.

[16]  Stevan Harnad,et al.  Other bodies, other minds: A machine incarnation of an old philosophical problem , 1991, Minds and Machines.

[17]  Ralf Küsters,et al.  Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles , 2003, LPAR.

[18]  Ralf Küsters,et al.  Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions , 2005, Stud Logica.

[19]  T. G. Evans.  A program for the solution of a class of geometric-analogy intelligence-test questions , 1964 .

[20]  Lina Fatima Soualmia,et al.  Schema Extraction for Semi-Structured Data , 2000, Description Logics.

[21]  William W. Cohen,et al.  Learning the Classic Description Logic: Theoretical and Experimental Results , 1994, KR.

[22]  Mohand-Said Hacid,et al.  Computing Concept Covers: a Preliminary Report , 2002, Description Logics.

[23]  Matthew L. Ginsberg,et al.  Essentials of Artificial Intelligence , 2012 .

[24]  Ralf Küsters,et al.  Computing Least Common Subsumers in Description Logics with Existential Restrictions , 1999, IJCAI.

[25]  Ralf Küsters,et al.  Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions , 1998, KI.

[26]  M. Rabin.  Decidability of second-order theories and automata on infinite trees , 1968 .

[27]  L. Thurstone.  Primary mental abilities. , 1938, Science.

[28]  Selmer Bringsjord,et al.  Artificial Intelligence and Literary Creativity: Inside the Mind of Brutus, A Storytelling Machine , 1999 .

[29]  C. Spearman,et al.  "THE ABILITIES OF MAN". , 1928, Science.

[30]  Selmer Bringsjord,et al.  What Robots Can and Can’t Be , 1992 .

[31]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[32]  Selmer Bringsjord.  Chess Is Too Easy. , 1998 .

[33]  Volker Haarslev,et al.  SEMANTICS-BASED INFORMATION RETRIEVAL , 1998 .

[34]  Franz Baader,et al.  On the Problem of Computing Small Representations of Least Common Subsumers , 2002, KI.

[35]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[36]  J. Raven.  Advanced progressive matrices : sets I and II , 1962 .

[37]  Larry Wos,et al.  Automated reasoning (2nd ed.): introduction and applications , 1992 .

[38]  Washington D C,et al.  Central Intelligence Agency , 2019, The SAGE Encyclopedia of Criminal Psychology.

[39]  M A Just,et al.  From the SelectedWorks of Marcel Adam Just 1990 What one intelligence test measures : A theoretical account of the processing in the Raven Progressive Matrices Test , 2016 .

[40]  Alexander Borgida,et al.  Computing Least Common Subsumers in Description Logics , 1992, AAAI.