Creating a discoverer: Autonomous knowledge seeking agent

Construction of a robot discoverer can be treated as the ultimate success of automated discovery. In order to build such an agent we must understand algorithmic details of the discovery processes and the representation of scientific knowledge needed to support the automation. To understand the discovery process we must build automated systems. This paper investigates the anatomy of a robot-discoverer, examining various components developed and refined to a various degree over two decades. We also clarify the notion of autonomy of an artificial agent, and we discuss the ways in which machine discoverers become more autonomous. Finally we summarize the main principles useful in construction of automated discoverers and we discuss various possible limitations of automation.

[1]  H. Simon,et al.  The Processes of Creative Thinking , 1959 .

[2]  Fan Chung,et al.  The average distance and the independence number , 1988 .

[3]  P. Langley,et al.  Computational Models of Scientific Discovery and Theory Formation , 1990 .

[4]  M Jan.  Experimentation Guided by A Knowledge Graph , 1993 .

[5]  Jan M. Zytkow,et al.  Scientific Model-Building as Search in Matrix Spaces , 1993, AAAI.

[6]  Jieming Zhu,et al.  Operational Definition Refinement: A Discovery Process , 1992, AAAI.

[7]  Jan M. Zytkow,et al.  Automated Discovery of Empirical Equations from Data , 1991, ISMIS.

[8]  R. Bharat Rao,et al.  Learning Engineering Models with the Minimum Description Length Principle , 1992, AAAI.

[9]  E. Vald.  Human/computer interactive elucidation of reaction mechanisms: application to catalyzed hydrogenolysis of ethane , 1994 .

[10]  Henry S. Leonard,et al.  Testability and Meaning. , 1937 .

[11]  Brian Falkenhainer,et al.  Scientific Theory Formation Through Analogical Inference , 1987 .

[12]  Percy Williams Bridgman,et al.  The Logic of Modern Physics , 1927 .

[13]  E. Feigenbaum,et al.  Applications of artificial intelligence for chemical inference. 22. Automatic rule formation in mass spectrometry by means of the meta-DENDRAL program , 1976 .

[14]  Donald Rose.  Using Domain Knowledge to Aid Scientific Theory Revision , 1989, ML.

[15]  Cullen Schaffer.  Bivariate Scientific Function Finding in a Sampled, Real-Data Testbed , 1993, Mach. Learn..

[16]  Jan M. Zytkow,et al.  Automatic Theorem Generation in Plane Geometry , 1993, ISMIS.

[17]  Douglas B. Lenat,et al.  Automated Theory Formation in Mathematics , 1977, IJCAI.

[18]  Dennis D. Murphy,et al.  Book review: Computational Models of Scientific Discovery and Theory Formation Edited by Jeff Shrager & Pat Langley (Morgan Kaufmann San Mateo, CA, 1990) , 1992, SGAR.

[19]  M. Boden.  The creative mind : myths & mechanisms , 1991 .

[20]  Herbert A. Simon,et al.  The Processes of Scientific Discovery: The Strategy of Experimentation , 1988, Cogn. Sci..

[21]  Marjorie Moulet.  A Symbolic Algorithm for Computing Coefficients' Accuracy in Regression , 1992, ML.

[22]  William Frawley,et al.  Knowledge Discovery in Databases , 1991 .

[23]  H. Simon,et al.  Models of Thought , 1979 .

[24]  Jieming Zhu,et al.  Automated Discovery in a Chemistry Laboratory , 1990, AAAI.

[25]  Herbert A. Simon,et al.  Scientific discovery: compulalional explorations of the creative process , 1987 .

[26]  Joshua Lederberg,et al.  Applications of Artificial Intelligence for Organic Chemistry: The DENDRAL Project , 1980 .

[27]  Zbigniew W. Ras,et al.  Methodologies for Intelligent Systems , 1991, Lecture Notes in Computer Science.

[28]  Jan M. Zytkow,et al.  Combining many searches in the FAHRENHEIT discovery system , 1987 .

[29]  Raúl E. Valdés-Pérez,et al.  Human/computer interactive elucidation of reaction mechanisms: application to catalyzed hydrogenolysis of ethane , 1994 .

[30]  Donald Gerwin,et al.  Information processing, data inferences, and scientific generalization , 1974 .

[31]  Jan M. Żytkow,et al.  Discovering quarks and hidden structure , 1991 .

[32]  Herbert A. Simon,et al.  Laboratory Replication of Scientific Discovery Processes , 1990 .

[33]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[34]  Michael Barr,et al.  The Emperor's New Mind , 1989 .

[35]  Raúl E. Valdés-Pérez,et al.  Conjecturing Hidden Entities by Means of Simplicity and Conservation Laws: Machine Discovery in Chemistry , 1994, Artif. Intell..

[36]  Herbert A. Simon,et al.  The Right Representation for Discovery: Finding the Conservation of Momentum , 1992, ML.

[37]  Pat Langley,et al.  An Integrated Approach to Empirical Discovery , 1989 .

[38]  L. Lunsky.  Contemporary Approaches to Creative Thinking. , 1963 .

[39]  Adrian Gordon,et al.  Informal Qualitative Models: A Systematic Approach to their Generation , 1995 .