SSP Group Meeting

11am, 3 February, 2004
Room 4.03, Appleton Tower
CISA, School of Informatics
University of Edinburgh

Experiment Synthesis in Science

Siu Wai Leung

Science aims to produce an accurate representation of the world. It does scientific reasoning and experimentation to ensure such accuracy. Despite the problems of scientific reasoning (e.g., induction, abduction, analogies) and experimentation to guarantee the accuracy, science (especially experimental sciences) is "believed" to be progressing in verisimilitude. To accelerate the scientific progress, empirical scientists need to expedite plausible experimentation given limited resources. We have been studying about how automated synthesis may help in expediting scientific experimentation, particularly in cognitive psychology and bioinformatics. This talk will briefly describes our past experiments and a related example in using automated synthesis.