Classifier Systems - Home | University of Calgary

28
Classifier Classifier Systems Systems —————————————— —————————————— Christian Jacob Christian Jacob [email protected] Department of Computer Science University of Calgary

Transcript of Classifier Systems - Home | University of Calgary

Page 1: Classifier Systems - Home | University of Calgary

ClassifierClassifierSystemsSystems

————————————————————————————

Christian JacobChristian [email protected]

Department of Computer ScienceUniversity of Calgary

Page 2: Classifier Systems - Home | University of Calgary

Cellular Automata

Random BooleanNetworks

Classifier Systems

SwarmSystems

2

Page 3: Classifier Systems - Home | University of Calgary

ClassifierClassifier Systems Systems

J. Holland (1975)J. Holland (1975)

Learning syntacticallyLearning syntactically simple simplestring rulesstring rules ( (classifiersclassifiers) to) to guide guide

performanceperformance in an in an arbitrary arbitraryenvironmentenvironment

Page 4: Classifier Systems - Home | University of Calgary

Objective: A Formal Framework for anObjective: A Formal Framework for anOperonOperon-Operator Gene Regulation Model-Operator Gene Regulation Model((BrittenBritten-Davidson)-Davidson)

J. Holland: Adaptation in Natural and Artificial Systems 4

Page 5: Classifier Systems - Home | University of Calgary

First a Simple Example ...First a Simple Example ...

FF A classifier system to emulate a frog.A classifier system to emulate a frog.The frog reacts to objects it sees.The frog reacts to objects it sees.

Moving On theGround Large Far Striped Flee! Pursue!

Input: Output:

1 _ _ _ _ 1 0

1 0 0 0 _ 0 1

1 0 0 0 1 0 0

Page 6: Classifier Systems - Home | University of Calgary

Classifier System in ActionClassifier System in ActionEnviron-mentalSignal Action

Detectors

1_1

Message List

Classifiers

1 0 _ : 1 1 10 0 _ : 0 0 01 x_ 1 : 0 0 x

Effectors

11_101

Page 7: Classifier Systems - Home | University of Calgary

Classifier System in ActionClassifier System in ActionEnviron-mentalSignal Action

Detectors

1_1

Message List

1 0 1

Classifiers

1 0 _ : 1 1 10 0 _ : 0 0 01 x_ 1 : 0 0 x

Effectors

11_

Page 8: Classifier Systems - Home | University of Calgary

Classifier System in ActionClassifier System in ActionEnviron-mentalSignal Action

Message List

1 1 10 0 0

Classifiers

1 0 _ : 1 1 10 0 _ : 0 0 01 x_ 1 : 0 0 x

Detectors

1_1

Effectors

11_ 111

Page 9: Classifier Systems - Home | University of Calgary

Classifier System in ActionClassifier System in ActionEnviron-mentalSignal Action

Message List

0 0 00 0 1

Classifiers

1 0 _ : 1 1 10 0 _ : 0 0 01 x_ 1 : 0 0 x

Detectors

1_1

Effectors

11_

Page 10: Classifier Systems - Home | University of Calgary

Classifier System in ActionClassifier System in ActionEnviron-mentalSignal Action

Message List

0 0 0

Classifiers

1 0 _ : 1 1 10 0 _ : 0 0 01 x_ 1 : 0 0 x

Detectors

1_1

Effectors

11_

Page 11: Classifier Systems - Home | University of Calgary

Classifier System in ActionClassifier System in ActionEnviron-mentalSignal Action

Message List

0 0 0

Classifiers

1 0 _ : 1 1 10 0 _ : 0 0 01 x_ 1 : 0 0 x

Detectors

1_1

Effectors

11_

How can we adapt this rule set?

Page 12: Classifier Systems - Home | University of Calgary

Learning CS ArchitectureLearning CS ArchitectureEnviron-mentalSignal Action

Detectors

1_1

Effectors

11_

Message List

1 0 10 0 01 1 1

Classifiers

1 0 _ : 1 1 10 0 _ : 0 0 01 x_ 1 : 0 0 x

Genetic Algorithm

101

Page 13: Classifier Systems - Home | University of Calgary

Genetic AlgorithmsGenetic Algorithms

J. Holland (1975)J. Holland (1975)

D. Goldberg (1989)D. Goldberg (1989)

Simulated GenomeSimulated Genome--basedbasedEvolutionEvolution

Page 14: Classifier Systems - Home | University of Calgary

{1,0,1,1,0,1,0,0,1,0,1,1}{0,1,1,1,1,0,0,1,0,0,0,1}{0,0,1,1,0,101,1,0,1,0,0}

...{1,1,0,0,0,1,0,1,0,1,0,0}...

{1,0,1,0,0,1,1,1,0,1,1,1}{0,0,1,1,0,1,1,1,0,1,0,0}{1,0,0,1,0,1,1,1,0,0,0,1}

Binary vectorBinary vector

decoding

interpretation

Genetic AlgorithmsGenetic Algorithms

Representation of individualsRepresentation of individuals

Page 15: Classifier Systems - Home | University of Calgary

{1,0,1,1,0,1,0,0,1,0,1,1}{0,1,1,1,1,0,0,1,0,0,0,1}{1,1,0,0,0,1,0,1,0,1,0,0}...

{1,0,1,0,0,1,1,1,0,1,1,1}{0,0,1,1,0,1,1,1,0,1,0,0}{1,0,0,1,0,1,1,1,0,0,0,1}

{1,1,0,0,0,1,0,1,0,1,0,0}{0,0,1,1,0,1,1,1,0,1,0,0}

{1,1,1,1,0,1,0,1,0,0,0,0}{0,1,1,1,0,0,1,1,0,1,1,0}

selectionselection

mutationmutation

{0,1,1,1,0,1,0,1,0,0,0,0}{1,1,1,1,0,0,1,1,0,1,1,0}

crossovercrossover{1,0,1,1,0,1,0,0,1,0,1,1}{0,1,1,1,1,0,0,1,0,0,0,1}{1,1,0,0,0,1,0,1,0,1,0,0}...

{1,0,1,0,0,1,1,1,0,1,1,1}{0,0,1,1,0,1,1,1,0,1,0,0}{1,0,0,1,0,1,1,1,0,0,0,1}

interpretation

evaluation

Ind. 40Ind. 38

Ind. 7Ind. 5Ind. 3Ind. 1

0 2 4 6Ind. 40Ind. 38

Ind. 7Ind. 5Ind. 3Ind. 1

Page 16: Classifier Systems - Home | University of Calgary

Learning CS ArchitectureLearning CS ArchitectureEnviron-mentalSignal Action

Detectors

1_1

Effectors

11_

Message List

1 0 10 0 01 1 1

Classifiers

1 0 _ : 1 1 10 0 _ : 0 0 01 x_ 1 : 0 0 x

Genetic Algorithm

101

Page 17: Classifier Systems - Home | University of Calgary

How do Classifiers ReceiveHow do Classifiers Receivetheir Fitnessestheir Fitnesses??

Apportionment of CreditApportionment of Creditthroughthrough

Bucket BrigadesBucket Brigades

Page 18: Classifier Systems - Home | University of Calgary

Bucket Brigade AlgorithmBucket Brigade Algorithm

Index Rule Fitness Triggering Bid Message Rule

_______________________________________________________1 0 1 _ _ : 0000 200 0 20 00002 0 0 _ 0 : 1100 2003 1 1 _ _ : 1000 2004 _ _ 0 0 : 0001 200

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

1 0 1 _ _ : 0000 180 2 0 0 _ 0 : 1100 200 1 20 11003 1 1 _ _ : 1000 2004 _ _ 0 0 : 0001 200 1 20 0001

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

1

2

Page 19: Classifier Systems - Home | University of Calgary

Bucket Brigade AlgorithmBucket Brigade Algorithm

Index Rule Fitness Triggering Bid Message Rule

_______________________________________________________1 0 1 _ _ : 0000 180 2 0 0 _ 0 : 1100 200 1 20 11003 1 1 _ _ : 1000 2004 _ _ 0 0 : 0001 200 1 20 0001

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

1 0 1 _ _ : 0000 220 2 0 0 _ 0 : 1100 1803 1 1 _ _ : 1000 200 2 20 10004 _ _ 0 0 : 0001 180 2 18 0001

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

2

3

Page 20: Classifier Systems - Home | University of Calgary

Bucket Brigade AlgorithmBucket Brigade Algorithm

Index Rule Fitness Triggering Bid Message Rule

_______________________________________________________1 0 1 _ _ : 0000 220 2 0 0 _ 0 : 1100 1803 1 1 _ _ : 1000 200 2 20 10004 _ _ 0 0 : 0001 180 2 18 0001

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

1 0 1 _ _ : 0000 220 2 0 0 _ 0 : 1100 2183 1 1 _ _ : 1000 1804 _ _ 0 0 : 0001 162 3 16 0001

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

3

4

Page 21: Classifier Systems - Home | University of Calgary

Bucket Brigade AlgorithmBucket Brigade Algorithm

Index Rule Fitness Triggering Bid Message Rule

_______________________________________________________1 0 1 _ _ : 0000 220 2 0 0 _ 0 : 1100 2183 1 1 _ _ : 1000 1804 _ _ 0 0 : 0001 162 3 16 0001

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

1 0 1 _ _ : 0000 220 2 0 0 _ 0 : 1100 2183 1 1 _ _ : 1000 1964 _ _ 0 0 : 0001 146

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

4

5

Page 22: Classifier Systems - Home | University of Calgary

Bucket Brigade AlgorithmBucket Brigade Algorithm

Index Rule Fitness Triggering Bid Message Rule

_______________________________________________________1 0 1 _ _ : 0000 220 2 0 0 _ 0 : 1100 2183 1 1 _ _ : 1000 1804 _ _ 0 0 : 0001 162 3 16 0001

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

1 0 1 _ _ : 0000 220 2 0 0 _ 0 : 1100 2183 1 1 _ _ : 1000 1964 _ _ 0 0 : 0001 146

–––––––––––––––––––––––––––––––––––––––––––––––––––––––

4

5Here are thefitnesses

Page 23: Classifier Systems - Home | University of Calgary

The Broadcast LanguageThe Broadcast Language

J. Holland (1975)J. Holland (1975)

A FormalA Formal Framework for Modeling Framework for ModelingEvolvableEvolvable Gene Regulation Gene Regulation

NetworksNetworks

Page 24: Classifier Systems - Home | University of Calgary

Backing up again: A Formal Framework for anBacking up again: A Formal Framework for anOperonOperon-Operator Gene Regulation Model-Operator Gene Regulation Model((BrittenBritten-Davidson)-Davidson)

J. Holland: Adaptation in Natural and Artificial Systems 48

Page 25: Classifier Systems - Home | University of Calgary

Broadcast UnitsBroadcast Units

FF BC[ BC[ SS11, , SS22, , SS33, , SS44]]

IfIf at time at time tt a signal of type a signal of type SS11 is present is presentandand no signal of type no signal of type SS22 is present, is present,thenthen at time at time tt+1+1

the signal the signal SS33 is broadcast is broadcastandand the signal the signal SS44 is deleted at time is deleted at time tt..

Page 26: Classifier Systems - Home | University of Calgary

Gene Regulation with BC UnitsGene Regulation with BC Units

FF Sensor-integrator gene complex Sensor-integrator gene complex SISI11II22II33::

BC[ BC[ SS, _, {, _, {II11, , II22, , II33}, _]}, _]

FF Receptor-producer complex Receptor-producer complex RR11RR22PP::

BC[{BC[{RR11, , RR22}, _, }, _, PP, _], _]

Page 27: Classifier Systems - Home | University of Calgary

Broadcast LanguageBroadcast LanguageExampleExample

Page 28: Classifier Systems - Home | University of Calgary

ReferencesReferences

F Holland, J. H. (1992). Adaptation inNatural and Artificial Systems.Cambridge, MA, MIT Press.