The Construction of Reality in a Cognitive System

advertisement
Learning Rich Representations from Low-Level Sensors: Papers from the AAAI 2013 Workshop
The Construction of Reality in a Cognitive System
Michael S. P. Miller
Los Angeles, California USA
piagetmodeler@gmail.com
observation, coordination, regulation, and compensation.
These processes form the basis of the PAM-P2 cognitive
system (see Figure 2). Observation is the process of
receiving stimuli, called “observables”, from the
environment into the memory of the cognitive system.
Coordination is the process of adding additional inferences
to the observables. Coordination encompasses many
inferential processes including spreading activation, belief
propagation, association, induction, deduction, analogy,
and planning. All such processes of inference essentially
entail adding additional elements, called “coordinations”,
to memory. Regulation is the process of correcting failed
solutions
and
reinforcing
successful
solutions.
Compensation is the process of recovering from failed
solutions by inverting a solution’s action sequence or by
setting new goals to mitigate the undesired side-effects of
past failures. Regulation and compensation are driven by
“perturbations”—ephemeral
meta-propositions
that
represent disturbances such as urges, gaps in knowledge,
predictions, and solution attempts.
Artificial cognitive systems can be architected using
design patterns. The PAM-P2 architecture consists of nine
cognitive system design patterns (see Figure 1) as defined
in Patterns for Cognitive Systems (Miller 2012). These
design patterns differentiate PAM-P2, and were expressly
selected for the architecture because they support ontology
formation, reminding, motivation, reaction, divergent
problem
solving,
convergent
deliberation,
and
daydreaming. The other reviewed systems did not contain
as many design patterns as PAM-P2, and none contained
the compensation design pattern. The inclusion of the
observation, coordination, regulation, and compensation
design patterns was expressly motivated by Jean Piaget’s
work.
People are genetically endowed with a body having a
range of possible actions and a set of basic needs. Artificial
cognitive systems must be given a figurative “body”, such
as that of a real world robot or virtual world avatar, with
Abstract
Getting an embodied cognitive system to form a mental
model of its world is a challenging prospect. Most AI
systems leverage domains defined entirely by the system
designers—initial objects, relations, operations, and even
search control knowledge are often pre-specified. Building
autonomous systems that can bootstrap themselves using a
minimal domain definition is a critical research objective of
Developmental AI. PAM-P2, a domain agnostic cognitive
system, builds a world model using an initial set of user
specified primitive actions and homeostatic needs. As
sensory datasets are received, an ontology is formed and
used to derive situations, events, episodes, solutions,
problems, and predictions. An overview of the PAM-P2
architecture and knowledge representation is presented.
Introduction
The problems of how a cognitive system can automatically
construct a model of entities and relationships in its world,
and how a system can leverage such a self-constructed
model to form and execute solutions that address the
system’s goals are important to Developmental AI. The
challenge for the Piagetian Autonomous Modeler
(PAM-P2) is to address these problems in a domain
agnostic manner: using capabilities, requirements, and
perceptions provided to the system at runtime. This paper
highlights core differences between PAM-P2 and other
cognitive systems, justifies those differences, and outlines
how the system learns representations.
The Development of Thought
In The Development of Thought Piaget et al (1977; 1985)
describe how natural cognitive systems (e.g., people)
construct their world using four main processes:
Copyright © 2013, Association for the Advancement of Artificial
Intelligence (www.aaai.org). All rights reserved.
28
capabilities (possible actions) and requirements (needs).
In PAM-P2, these capabilities and requirements are
provided at runtime by the body when the body first
connects to the system. Afterwards, whenever the body
performs an action requested by PAM-P2, the body returns
whether or not it failed to do the action. This feedback
allows the cognitive system to eventually learn the
conditions under which actions can be successfully
performed.
PAM-P2 has both internally generated and body
provided teleological (goal attainment) needs and body
provided homeostatic (goal maintenance) needs. As the
body runs, it forwards urges to the cognitive system. An
urge is a perturbation representing the disequilibrium of a
homeostatic need: the delta between the target value and
actual value of a homeostatic variable. Taken as a whole,
the collection of urges defines the total equilibrium of the
cognitive system. PAM-P2 learns action sequences (i.e.,
solutions) that eventually return the system’s homeostatic
needs to equilibrium. Both urges and action results
provide a designer-endowed intrinsic reinforcement.
The memory of PAM-P2 is a database of
“neural propositions”—constructive connectionist facts
(Miller 2013).
Observables, coordinations, and
perturbations form the strata of the memory (see Figure 2).
Constructing Reality
A model of the body and its real or virtual environment is
formed in PAM-P2 by interactions where Piaget’s
processes take place. PAM-P2 concurrently observes the
environment, makes inferences, adapts itself to the
outcomes of prior actions, sets goals, and executes new
actions. The interactions begin when the body forwards
sensory datasets to the cognitive system. Observation
processes transform the datasets into percept, urge, and
action result propositions. Coordination processes build the
ontology, spread activation, propagate beliefs, incorporate
ontology elements into solutions, and update predictions
and solution attempts with failure or success using the
action results. Reflection processes reward, mutate, and
recombine solutions and predictions according to their
failures or successes, use urge perturbations to guide the
attention of the system by creating new goals to eliminate
urges, select new goals to neutralize undesired outcomes,
and toggle daydreaming—the generation of forward
situations and hypothetical consequences.
Finally,
execution processes select the best available solutions to
address goals, and send the solutions’ actions to the body.
Figure 1. By surveying twenty four cognitive systems, ten cognitive system design patterns were discovered in (Miller 2012).
Observation – storing perceptions in a
memory (e.g., a cache, or persistent store).
Coordination – adding inferences (based on
perceptions or other inferences) to memory.
Reminding – storing and retrieving episodes
(consisting of perceptions, inferences, and
actions) to and from memory.
Reaction – a loop where perceptions drive
action execution.
Deliberation – a loop where plans are
formed, executed, and monitored based on
goals and perception.
Meta Control (Reflection) – monitoring
and modifying components at run time.
Motivation – reprioritizing goals based on
perceptions and homeostatic needs.
Simulation – forming an expected
hypothetical forward model.
Regulation –
reinforcement.
plan
correction
or
and
Compensation – plan inversion
and
selecting goals to fix unwanted side effects.
29
Figure 2. PAM-P2 Components.
Observation Components
Perceiver – receives sensory datasets
Storer – puts propositions in memory
Retriever – fetches propositions
Viewpoint Generator – makes viewpoints
Current Viewpoint – gets default viewpoint
Memory – stores neural propositions
Memory Components
Situations – proposition conjunctions
Viewpoints – for hypothetical reasoning
Perturbations – urges, gaps, hypotheses
Needs – goals
Solutions – plans
Problems – impediment ascriptions
Coordination Components
Activators – spread activation
Propagators – spread belief
Predictors – create predictions
Inductors – infer types, cases, events
Associators – create relationships
Reasoners – create specific inferences
Correlators – determine failure or success
Solvers – create solutions for needs
Execution Components
Deliberator – selects solutions for needs
Reactor – selects reflex solutions
Executor – finds unmet needs, does actions
Reflection Components
Attention – reprioritizes needs
Regulators – correct or reinforce solutions
Compensators – invert solutions, set needs
Simulation Supervisor – toggles simulation
Action Inhibitor – supports simulation
Consolidator – forgets & automates
Prasan Samtani, John Byrne and the rest of the PAM-P2
group for their continued comments and support.
Conclusions and Future Work
The PAM-P2 prototype is in development along with the
mind server, a framework for connecting robots and
mobile devices to cognitive systems. The PREMISE data
manipulation and data query language will be used in the
system’s Storer and Retriever components. Experimental
domains from Henry Chaput (2004) and others will be
recreated to test the final system.
References
Chaput, H. 2004. The Constructivist Learning Architecture: A
Model of Cognitive Development for Robust Autonomous Robots.
2004. Technical Report TR04-34. Artificial Intelligence
Laboratory, The University of Texas at Austin. Austin, TX.
Miller, M. S. P. 2012. Patterns for Cognitive Systems. In
Proceedings of the Sixth International Conference on Complex,
Intelligent and Software Intensive Systems (CISIS). Palermo Italy:
642-647.
Acknowledgements
Miller, M. S. P. 2013. The Neural Proposition: Structures for
Cognitive Systems. In Proceedings of 2013 AAAI Spring
Symposium on Creativity and (Early) Cognitive Development:
44-50.
This author would like to thank Dr. Yvonne Miller,
Todd Kaufmann, Dr. Sheldon Linker, Dr. Frank Guerin,
Dr. Ghassan Azar, Dr. Roland Hausser, Dr. Marc Pickett,
Stefan Smollack, and Dr. Manuela Veloso for their
feedback on the system and papers. Special thanks to
Stuart Allen, Peter Danenberg, Ryan Hewitt,
Piaget J. and Roslin, A. 1977. The Development of Thought: The
Equilibration of Cognitive Structures. Viking Press.
Piaget, J.; Brown, T.; and Thampy K.J. 1985. Equilibration of
Cognitive Structures: The Central Problem of Intellectual
Development. The University of Chicago Press.
30
Download