Monthly Archives: February 2015

Meeting Notes 2/25/2015

Present: Eddie, Frode, Beryl, Wren, Lee, Tom, Bill, Nic, George, Herb

Agenda:

Krzysztof Krawiec paper distributed by Tom

Quantum computing projects

Status updates

Eddie/George/Lee/Nic

Progress with pucks

  • Emergence of evolutionary dynamics with pucks
  • Getting rid of java script-difficulty in the browser difficulties
  • Workflow not too problematic
  • Debugging clojure script difficult

Frode

  • Simplification process to generalization
  • Calc-evolve push button calculator

Wren/Bill/Lee

  • Avoiding over fitting to noise
  • Curve fitting/test data

Bill

  • Test sets
  • Paper
  • Portugal

Tom/Nic/Lee

  • No collisions-trace lineages
  • History-vector of single parent error
  • 2 parents get exponentially big
  • Data compresses well

Quantum computing

Lee/Herb/George/Beryl

  • Simulations use for things that no one knows how to do, not impossible
  • Omri found difficulties with irrational numbers in matrices
  • Smaller unsolved questions
  • Java script complex number library
  • Complex numbers available in C#. Use ClojureCLR
  • No need for a visualization in this case.
  • Beryl trying to find a Clojure Complex number library
    • This would allow for quantum simulations to be done in pure Clojure.
  • Nic found a way to inter-opt to Python (Jython) from Clojure that could be used for Complex Numbers.
  • Nic also found clojure libraries to inter-opt R and use that for Complex Numbers.

Lab Notes 2/11/15

Attendance: Nic, Wren, Bill, Frode, Karthik, Mike, Eddie (scribe)

Bill:

  • Use GP regression plus more traditional engineering techniques in a wide range of applications.
  • EHC
    • New benchmarks with tournament selection show that EHC is still much better
    • 5 iterations of EHC create average program sizes that are similar to basic GP with tournament selection.

    Finite Algebras with GP

  • Lee has system that works with no evolutions
  • Lee’s new system has come the analysis of which Finite Algebras GP could and could not find solutions.

Nic

  • GPTP
    • Genetic Programming Theory and Practice
    • On graph database
  • Working with Tom on simplification (and its effect on generalization)

Wren

  • Unclear what is noise and what is crucial
  • Possibly going to smooth data

Frode

  • coming back

Karthik

  • Searching over Java objects

Eddie

  • Pucks
    • Pucks blog: blog4pucks.blogspot.com
    • Bonding is functional
    • involuntary transactions coming soon
  • Arcadia
    • Planetary Orbits

Mike

  • Documentation of Clojush
    • blog post 1 almost ready
    • Could be posted on GitHub Wiki
  • Computational Criminology
    • looking into Cynthia Rudin’s work

Lab Notes 1/28/15

January 28, 2015

 

Attending:

Thom

Bill

Karthik

Nic

Lee

Mike

Wren

Frode

 

Agenda:

Gecco Papers -3

Thom, Bill, Nic

 

Lee-

Asymmetry on parents

Collaboration with David Clark on math-finite terms and finite algebra, Clark has algorithms that are not evolutionary

Pucks; bonding, will then be able to do push based

 

Nic-

Crossover revised paper; 2 problems, crossover bias and tournaments

 

Lee and Nic-

Measurement of success in systems, best approximation, best fitness

Both metrics are potentially useful, and when you don’t know…

 

Thom and Nic-

Generalization or how well matches the training set-over fitting?

No validation, but spot-check via graphs; stable, solid approximations over test area

Adding crossover bias-fitness becomes larger

 

Bill-

Generalization and how to promote it in GP runs

 

Lee, Thom and Bill-

Papers from journal; collectively read and discuss

Trade of fitness and validation of fitness

How different system generalize-but not making better at generalization

 

Bill-

Promoting generalization in symbolic regression

Smaller programs generally generalize better with better fitness

Random mate selection, survival step-fitness and fitness generality

 

Lee, Thom and Bill-

2 fitness cases,

Survival-how well fitness to 1, and how well fitness’s compare

2 sets similar-performance on one dependent on other

Size connects to post run simplification

Simplify with hill climber after

Each step turns some genes off (remove sub-expression)

 

Lee-

Trees; mutations with replacement of sub tree with parent tree

Preserve syntax

 

Lee, Bill and Thom-

Post run simplification

Instead of pure hill climbing

Turn off two genes and turn one gene back on

Higher probability of turning things off then on

Frode tried to do systematic testing; same simplification but as genetic operator and how it works with size and generalization; all a wash, simplifying during a run has all sorts of repercussions

Post run simplification for generalization

 

Bill, Nic and Lee-

Epigenetic paper; danger of varying multiple things and their repercussions and relations within the system

What is the epigenetics contributing? Is it just turning off your other additions?

Tough sell without solving some unsolvable problems

Clarity about base system and what is being changed

Explanation of the nuances of ideas

Rational for starting point

2 stack based systems; epigenetics is easier to do in stack-based systems

What happens when stuff gets turned off?

 

Thom-

Push for hill climbing; doesn’t take secondary

Keeps child if better at every test case, even with out lexicase

 

Wren

More LatB data

Calc concentration eq; relates to what the cell looks like

Models with Sarah

 

Mike

Documentation; example programs, how to put in your own data

Java version of push

Unwitting GP, Parasitic computing

Zeke’s tree based GP

Quill, Gorilla repl

Outsiders get started with out intensive tutorial

Cleaner; FourPush?

 

Karthik

 

Trying inductive synthesis with Sketch (having trouble with strings)

Running Tom’s Benchmarks

 

Frode

Thinking about using simplification before parent selection.

Unclear whether this would help.

 

Tom

GECCO Papers

 

Asymmetry

-In tree based GP, the root node is more important.
-Biological Reproduction is generally asymmetric

 

*GPTP wants “something” by 2/7.

*Gecco Workshop deadlines: 4/3