Title: Virtual Scientific Communities for Driving Innovation and Learning

Presenter: Karl Lieberherr

Abstract

You get a tiny agent living in some virtual scientific world of reputation-producing and reputation-consuming hypotheses produced by other agents. Your task is to engage your agent mostly in reputation-producing activities which are: (1) accepting reputation-producing hypotheses and successfully discounting or strengthening them and (2) declaring hypotheses to be optimal: they can neither be discounted nor strengthened. The agents driven by your class mates will also try to maximize their reputations. Your requirement is very clear and simple: make your agent survive by helping it to maintain a positive reputation or it will be dropped from the game.

This is the scenario in which you find yourself when you participate in a Scientific Community Game (SCG). Although the game is competitive there is collaboration: the community of agents collects knowledge about unchallenged and optimal hypotheses. Also, when a hypothesis is discounted, a detailed reason is given which might lead to suggestions how to improve the hypotheses.

SCG is a generic game which is applied to drive innovation in numerous scientific domains in computer science and other sciences. Innovation happens by understanding the reasons for reputation loss and by trying to discover the knowledge that other agents might have. Innovation takes place between tournaments when the teams improve their agents.

We have developed a web-based implementation of SCG using Functional Adaptive Programming with DemeterF. Once a domain X is defined, an Administrator(X) and BasicPlayer(X) is produced. Administrator(X) enforces the SCG rules similar to the rules of a real scientific community, guaranteeing the soundness of the game. BasicPlayer(X) is the agent that can already communicate with other agents through the administrator and it has "minimal" intelligence.

I will summarize different applications of SCG and show you how you can use a manual version of SCG to enhance your interactive learning experience in your CS and Math courses.

SCG (Specker Challenge Game) is named after Ernst Specker who initiated this work and who will soon celebrate his 90th birthday. More information on SCG is available: SCG Home Page.

Joint work with Ahmed Abdelmeged and Bryan Chadwick