Knowledge representation which is internal to a computer lacks empirical meaning so that it is insufficient for the investigation of the external world. All intelligent systems, including robot-discoverers must interact with the physical world in complex, yet purposeful and accurate ways. We argue that operational definitions are necessary to provide empirical meaning of concepts, but they have been largely ignored by the research on automation of discovery and in AI. Individual operational definitions can be viewed as algorithms that operate in the real world. We explain why many operational definitions are needed for each concept and how different operational definitions of the same concept can be empirically and theoretically equivalent. We argue that all operational definitions of the same concept must form a coherent set and we define the meaning of coherence. No set of operational definitions is complete so that expanding the operational definitions is one of the key tasks in science. Among many possible expansions, only a very special few lead to a satisfactory growth of scientific knowledge. While our examples come from natural sciences, where the use of operational definitions is especially clear, operational definitions are needed for all empirical concepts. We briefly argue their role in database applications.
[1]
Jan M. Zytkow,et al.
Discovering Empirical Equations from Robot-Collected Data
,
1997,
ISMIS.
[2]
Percy Williams Bridgman,et al.
The Logic of Modern Physics
,
1927
.
[3]
Jieming Zhu,et al.
Automated Discovery in a Chemistry Laboratory
,
1990,
AAAI.
[4]
P. Langley,et al.
Computational Models of Scientific Discovery and Theory Formation
,
1990
.
[5]
P. Schönemann.
On artificial intelligence
,
1985,
Behavioral and Brain Sciences.
[6]
Radl E. Vald.
Generic Tasks of Scientific Discovery
,
1995
.
[7]
Peter Jackson,et al.
Introduction to expert systems
,
1986
.
[8]
Herbert A. Simon,et al.
The Processes of Scientific Discovery: The Strategy of Experimentation
,
1988,
Cogn. Sci..
[9]
Henry S. Leonard,et al.
Testability and Meaning.
,
1937
.
[10]
Zbigniew W. Ras,et al.
Resolving Queries Through Cooperation in Multi-Agent Systems
,
1997
.
[11]
Jieming Zhu,et al.
Operational Definition Refinement: A Discovery Process
,
1992,
AAAI.