Piagetian Autonomous Modeller

( PAM )

Michael Miller
April 5, 2011

© Copyright Michael S. P. Miller 2011. All rights reserved.

Overview

1. Research Goals
2. PAM
3. Monads
4. Schemata
 Behavioral
 Equilibration
 Structural
 Inference
1. Schematics
 Decomposition
 Use Cases
 Components
 Data Flow
 Experiments
1. Implementation Status
2. Conclusions

2
Research Goals

1. Replicate Sensorimotor and Pre-operational phases

2. To create smarter artificial systems that
 Can model the environment
 Exhibit developmental “stages”
 Reliably Predict transformations in the environment
 Learn from failure
 Perform multi-strategy inference
1. Test whether or not monads and schemata can model
an environment
2. Unify the work of Gary Drescher and Ryszard Michalski

3
PAM - What’s Different from other systems?

1. Monads
2. How activation is spread
3. Two kinds of schemata:
 Structural
 Behavioral
1. Using multi-strategy inference to extend the model
2. Consolidation
 Automaticity
 Forgetting
1. Behavior equilibration with genetic operations

4
PAM - Assumptions

1. Humans construct mental representations of

a. the structure of their environment
b. the transformations within their environment

2. Monads and schemata suffice for building a model

3. PAM is domain agnostic (all domain specific percept

and effect assertions are mapped to a domain
independent representation, viz. monads)

5
PAM - Constraints

1. PAM must run on existing computing technology

 No specialized hardware required

1. Non-functional constraints:
 Real time performance
 Resilient (i.e., fault-tolerant)
 Available
 Scalable

6
PAM - System Context

7
PAM – Phase 1

8
PAM - Phase 2

.
.
.
.
.
.

9
PAM – Target System - Phase 2

10
Monads

11
Monads – Representation

12
Monads – Representation

13
Monads – Representation

14
Monads – Attributes

Identifier

15
Monads – Regions

16
Monads – Tiers

 Reification –
17
Monads – Activation

18
Monads - Detectors and Effectors

 Detectors
 Assert Percepts

 Effectors
 Perform Commands
 Assert Effects (i.e. command status)

19
Monads - Detectors and Effectors

20
Schemata

21
Schemata - Behavioral

Behavior := (C  P, s)

where
C: context
P: prediction
s: time span

Enablers Enables

Impedes
Impeders

22
Schemata – Behavioral (within region)

23
Equilibration – Marginal Attribution

A. A.

B.

A failed behavior A is refined to identify a failure cause B.

24
Equilibration – Crossover

Successful behaviors x and y are crossed to produce z.

25
Equilibration – Mutation

Successful behavior x is mutated to create A new behavior y

by randomly deleting enabler a and inserting enabler k.

26
Consolidation

 Forget
• Remove low salience, redundant, or unreachable schemata
(garbage collection)

 Automate
• Combine high salience behaviors by eliminating intermediate
structures: e.g. A B  C  D is fused into A  D

27
Schemata – Structural - Cases and Events

28
Schemata – Structural - Cases and Events

29
Schemata – Structural - Types and Plans

30
Inference – Simple Analogy

31
Inference – Simple Concretion

32
Inference – Simple Deduction

33
Inference
 Inference is performed by adding structural schemata to
the model according to Michalski’s Inferential Theory.

* Reproduced from Michalski 34

Schematics – Decomposition

35
Schematics – Use Cases

36
Schematics – Components

37
Schematics – Data Flow

38
Experiments – Proposed

 Foraging Domain (Chaput)

 Pioneer 3DX robot simulation

 Robot Play Domain (Kaplan)

 Wireless mobile robot w/ Audio Visual sensors

39
Implementation Status

 Currently in Detailed Design

Performing alternative analysis for

 Agent Platform (High performance / FIPA compliant)
 Database (SQL / RAM SQL / No-SQL)

Open Issues
 Scalable Join Matching Algorithm
 Action Selection Algorithm
 Incremental Type / Plan Induction Algorithm

40
Conclusions
1. Activation defined as recency
2. Two kinds of schemata:
 Structural
 Behavioral
1. Using multi-strategy inference to extend the
model
2. Consolidation
 Automaticity
 Forgetting
1. Behavior equilibration with genetic operations

 Should be fun !!
41
Images

 Image of the Pythagorean Monad (slide 10). Hemenway, Priya. Divine Proportion: Phi
In Art, Nature, and Science. Sterling Publishing Company Inc., 2005, p. 56.
ISBN 1-4027-3522-7

 Image of Inference methods (slide 33) from Tecuci , Gheorghe & Michalski, Ryszard S.
Inferential Theory of Learning. Machine Learning, A Multistrategy Approach,
Volume IV (1993) – Reproduced.

 Slides adapted from Michalski et. al

 Image of System Context (slide 9), adapted from Hausser, Roland. A Computational
Model of Natural Language Communication: Interpretation, Inference and Production in
Database Semantics (2010)

 All other images are original.

42
Questions?

http://piagetmodeler.tumblr.com

piagetmodeler@hotmail.com

43