Psychometric Artificial General Intelligence: The Piaget-MacGuyver Room

@inproceedings{Bringsjord2012PsychometricAG,
  title={Psychometric Artificial General Intelligence: The Piaget-MacGuyver Room},
  author={Selmer Bringsjord and John Licato},
  year={2012}
}
Psychometric AGI (PAGI) is the brand of AGI that anchors AGI science and engineering to explicit tests, by insisting that for an information-processing (i-p) artifact to be rationally judged generally intelligent, creative, wise, and so on, it must pass a suitable, well-defined test of such mental power(s). Under the tent of PAGI, and inspired by prior thinkers, we introduce the Piaget-MacGyver Room (PMR), which is such that, an i-p artifact can credibly be classified as general-intelligent if… 

Figures from this paper

Theorem: General Intelligence Entails Creativity, Assuming \ldots

There appears to be considerable evidence against the claim that general intelligence entails creativity. For example, with this claim unpacked as the proposition that any general-intelligent agent

Proceedings of the Workshop “ Formalizing Mechanisms for Artificial General Intelligence and Cognition ( Formal MAGiC ) ” PICS

TLDR
An attempt at a comprehensive mind model, the Consciousness And Memory model (CAM), and the computational model of memory in CAM, including working memory, semantic memory, episodic memory and procedural memory are outlined.

Artificial General Intelligence: 13th International Conference, AGI 2020, St. Petersburg, Russia, September 16–19, 2020, Proceedings

TLDR
By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, it is argued that a similar Law holds for AGIs.

Real robots that pass human tests of self-consciousness

TLDR
It can be proved that, in theory, a future robot represented by R3 can answer provably correctly Floridi's test for self-consciousness, both in the simulator known as `PAGI World' (used for testing AIs), and in real (= physical) robots interacting with a human tester.

Analogy, explanation, and proof

TLDR
A model of explanation is described, derived from a model of analogy, adapted to permit systematic violations of this one-to-one mapping constraint and results demonstrate that the resulting model can generate explanations for novel explananda and that these explanations vary in their coherence.

How Do You Test the Strength of AI?

TLDR
It is argued, a Strong AI should possess a capability to build limited applicability models (methods) implying lossy information compression, and suggested a series of six tests of rising complexity to check if AI have achieved the human-level intelligence.

How Models of Creativity and Analogy Need to Answer the Tailorability Concern

Analogy is a major component of human creativity. Tasks from the ability to generate new stories to the ability to create new and insightful mathematical theorems can be shown to at least partially

Artificial General Intelligence

TLDR
It is argued that analogical mapping, blending of knowledge from conceptual domains, and utilization of simple cognitive processes lead to the creative production of, and the reasoning in, mentally-created domains, which shows that the analysis of counterfactual conditionals can be done in computational models of general intelligence.

Editorial: Conceptual Commitments of AGI Systems

TLDR
Twelve “conceptual commitments” or tentative hypotheses that form the core of the Learning Intelligent Distribution Agent (LIDA) model are proposed, which are regarded as fundamental architectural solutions to the problems of AGI.

References

SHOWING 1-10 OF 38 REFERENCES

In defense of logical minds

TLDR
It is proposed that Piaget’s F (or at least a variant) is alive and well, because the subjects in question are simply victims of a defective education and with a modicum of the right sort of logic training, humans reason deductively on logic problems well enough to vindicatePiaget.

The Newell Test for a theory of cognition

TLDR
12 criteria that the human cognitive architecture would have to satisfy in order to be functional are distilled into 12 criteria: flexible behavior, real-time performance, adaptive behavior, vast knowledge base, dynamic behavior, knowledge integration, natural language, learning, development, evolution, and brain realization.

What is Artificial Intelligence? Psychometric AI as an Answer

TLDR
It is proposed that Al is really (or at least really ought in significant part to be) Psychometric AI (PAI), and some of the "big" philosophical questions the success of PsychometricAI will raise are raised.

The Logic of Intelligence

  • Pei Wang
  • Computer Science
    Artificial General Intelligence
  • 2007
TLDR
This chapter suggests an answer to these questions by introducing the ideas behind the NARS (Nonaxiomatic Reasoning System) project, based on the opinion that the essence of intelligence is the ability to adapt with insufficient knowledge and resources.

The soar papers : research on integrated intelligence

TLDR
The Soar Papers provide in one place the important ideas that have emerged from the Soar Project, an investigation into the architecture underlying intelligent behaviour with the goal of developing and applying a unified theory of natural and artificial intelligence.

How to Build a Person: A Prolegomenon

TLDR
John Pollock brings a unique blend of philosophy and artificial intelligence to bear on the vexing problem of how to construct a physical system that thinks, is self conscious, has desires, fears, intentions, and a full range of mental states.

The analogical mind : perspectives from cognitive science

Analogy has been the focus of extensive research in cognitive science over the past two decades. Through analogy, novel situations and problems can be understood in terms of familiar ones. Indeed, a

Psychology of Reasoning: Structure and Content

'Is there any other point to which you would wish to draw my attention?' 'To the curious incident of the dog in the night-time.' 'The dog did nothing in the night-time.' 'That was the curious

Efficacious Logic Instruction: People Are Not Irremediablly Poor Deductive Reasoners

TLDR
The three major reasons put forth in this presentation that the logic class at RPI differed from those in previous studies is that it taught disproofs, diagrammatic techniques, and, “Rigorous and general- purpose procedures for formalizing natural language logic problems in first-order logic so that they can then be solved by automated theorem provers”.

Rules of the Mind

TLDR
Production Systems and the ACT-R Theory and the Identical Elements Theory of Transfer.