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.