1 / 9

Survival Robots - Teaching Reliable Software Development in Artificial Markets

This project aims to teach the development of reliable software and conduct experimental research on combinatorial optimization through an artificial world where food acts as financial derivatives. Unreliable robots face consequences from bad trading decisions and rule violations, while the challenge includes hiding and finding secrets.

rbonnie
Download Presentation

Survival Robots - Teaching Reliable Software Development in Artificial Markets

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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 (P=NP 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..

More Related