Scientific discovery is among the most celebrated creative processes, and receives scholarly
attention from several disciplines including AI. Experience has shown that some scientific
reasoning can be made systematic.
This symposium will examine the state of systematic
methods for scientific inference, with special emphasis on insights that promise broad applicability within science. The development of such methods will, as foreseen by Allen Newell,
increasingly lead to the sciences taking a metaposition, in which doing science will involve
understanding the information processes of scientific inference, and building systems that do
the object-level science, leading to a convergence of AI and the scientific enterprise.
This symposiumwill feature: descriptions of existing methods or systems and their achievements in natural, social, and mathematical science; generalizations made over these systems;
exploratory task analyses; and psychological/historical
studies that promise to lead to more
systematic methods.
Organizing
Committee:
Lindley Darden
Joshua Lederberg
Herbert Simon
Derek Sleeman
Raul Valdes-Perez (chair)
viii
University of Maryland
Rockefeller University
Carnegie Mellon University
University of Aberdeen
Carnegie Mellon University