Operational definitions link scientific attributes to experimental situations, prescribing for the experimenter the actions and measurements needed to measure or control attribute values. While very important in real science, operational procedures have been neglected in machine discovery. We argue that in the preparatory stage of the empirical discovery process each operational definition must be adjusted to the experimental task at hand. This is done in the interest of error reduction and repeatability of measurements. Both small error and high repeatability are instrumental in theory formation. We demonstrate that operational procedure refinement is a discovery process that resembles the discovery of scientific laws. We demonstrate how the discovery task can be reduced to an application of the FAHRENHEIT discovery system. A new type of independent variables, the experiment refinement variables, have been introduced to make the application of FAHRENHEIT theoretically valid. This new extension to FAHRENHEIT uses simple operational procedures, as well as the system's experimentation and theory formation capabilities to collect real data in a science laboratory and to build theories of error and repeatability that are used to refine the operational procedures. We present the application of FAHRENHEIT in the context of dispensing liquids in a chemistry laboratory.
[1]
Percy Williams Bridgman,et al.
The Logic of Modern Physics
,
1927
.
[2]
Henry S. Leonard,et al.
Testability and Meaning.
,
1937
.
[3]
Jan M. Zytkow,et al.
Combining many searches in the FAHRENHEIT discovery system
,
1987
.
[4]
Herbert A. Simon,et al.
Scientific discovery: compulalional explorations of the creative process
,
1987
.
[5]
Brian Falkenhainer,et al.
The Interdependencies of Theory Formation, Revision, and Experimentation
,
1988,
ML.
[6]
Herbert A. Simon,et al.
The Processes of Scientific Discovery: The Strategy of Experimentation
,
1988,
Cogn. Sci..
[7]
Pat Langley,et al.
An Integrated Approach to Empirical Discovery
,
1989
.
[8]
Jan M. Zytkow,et al.
Data-Driven Approaches to Empirical Discovery
,
1989,
Artif. Intell..
[9]
Jieming Zhu,et al.
Automated Discovery in a Chemistry Laboratory
,
1990,
AAAI.
[10]
Jan M. Zytkow,et al.
Automated Discovery of Empirical Equations from Data
,
1991,
ISMIS.