SSP Group Meeting

11am, 16 November, 2004
Room 4.03, Appleton Tower
CISA, School of Informatics
University of Edinburgh

Synthesis for Progressive Experimentation

Siu-Wai Leung

Scientific experimentation is trusted to be one of the best efforts by scientists in approaching the reality.  In practice, scientists often cannot afford doing real experiments and sceptics can show that experimentation is inadequate to verify/prove hypotheses/theories. Until better scientific approaches can be developed, any means to facilitate experimentation would help expedite scientific progress. We aim to do computational synthesis for the scientific experimentation which is specifiable by experiment protocols. In our opinion, even simple representation and reasoning would make scientific experimentation more manageable and automated. This talk will describe some of the simple ideas with relevance to our past experiments.