Survival Robots Karl Lieberherr

1
Survival RobotsKarl Lieberherr

• To teach development of reliable software and to
  experimentally research combinatorial
  optimization.
• Offer and buy food (both life-energy increasing
  and decreasing) in an artificial world.
• Food financial derivatives. Raw materials and
  finished products to process the food.
• Challenge Hide and find secrets.
• Unreliable robots die due to bad trading
  decisions and world rule violations.
• Summary Survival Robots help to transmit CS
  knowledge and to create new CS knowledge about
  optimization.

2
Survival RobotsKarl Lieberherr

• Survival means good trading decisions / follow
  market rules reliable software.
• To teach development of reliable software and to
  experimentally research artificial markets of
  relevance to computer science (PNP problem).
• Offer and buy derivatives, raw materials,
  finished products. Challenge Hide and find
  secrets.
• Summary Survival Robots help to transmit CS
  knowledge and help to create new CS knowledge
  Functional Adaptive Programming, Experimental
  Algorithmics, New Algorithms for NP problems,
  Reliable Software.

3
Artificial Markets DrivingCS InnovationKarl
Lieberherr
Computer Science Knowledge
produce reliable software
learn
Artificial Markets (derivatives, raw
materials, finished products)
Trading Robots
survive?
Real world problems we solve Producing reliable
and evolutionary software (through Functional
Adaptive Programming), Improving combinatorial
optimization algorithms. Scientific
Contributions Programming technology with
provable properties, Theory of Computation, Study
of artificial markets.
4
Artificial Markets DrivingCS Innovation /
EducationKarl Lieberherr
Computer Science Knowledge X, Design Artificial
Market for X
produce reliable software
learn
Run Simulation of Artificial Market
Trading Robots
survive?
Real world problems we solve Producing reliable
and evolutionary software (through Functional
Adaptive Programming), Scientific Contributions
Programming technology with provable
properties, Study of artificial markets.
5
Survival RobotsKarl Lieberherr
Computer Science Knowledge
produce reliable software
learn
Artificial Markets (derivatives, raw
materials, finished products)
Survival Robots
survive?
Real world problems we solve Producing reliable
and evolutionary software (through Functional
Adaptive Programming), Improving combinatorial
optimization algorithms.
6
Survival RobotsKarl Lieberherr
Computer Science Knowledge
produce reliable software
learn
Artificial Markets (derivatives, raw
materials, finished products)
Survival Robots
survive?
Scientific Contributions Programming technology
with provable properties, Theory of Computation,
Study of artificial markets.
7
Survival RobotsKarl Lieberherr
Computer Science Knowledge
produce reliable software
learn
Survival Robots
Artificial Markets
survive?
Artificial Markets (derivatives, raw
materials, finished products)
8
CSU 670
9
Artificial Market DrivingSoftware Development
XEducation
Computer Science Knowledge X, Design Artificial
Market for X
produce reliable software
learn
Run Simulation of Artificial Market
Trading Robots
survive?
X CSP Learn about Software Development Agile
Software Development, Integration testing,
security policies, style rules (Law of
Demeter, Terminal Buffer Rule), reliable
evolution using DemeterF, etc..