Abstract
A task in the philosophy of discovery is to find reasoning strategies for discovery, which fall into three categories: strategies for generation, evaluation and revision. Because mechanisms are often what is discovered in biology, a newc haracterization of mechanism aids in their discovery. A computational system for discovering mechanisms is sketched, consisting of a simulator, a library of mechanism schemas and components, and a discoverer for generating, evaluating and revising proposed mechanism schemas. Revisions go through stages from howp ossibly to howplausibly to howactually .
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Beatty, John (1995), “The Evolutionary Contingency Thesis,” in James G. Lennox and Gereon Wolters (eds.), Concepts, Theories, and Rationality in the Biological Sciences. Pittsburgh, PA: University of Pittsburgh Press, pp. 45–81.
Bechtel, William and Robert C. Richardson (1993), Discovering Complexity: Decomposition and Localization as Strategies in Scientific Research. Princeton, N. J.: Princeton University Press.
Craver, Carl (2001), “Role Functions, Mechanisms, and Hierarchy,” Philosophy of Science 68: 53–74.
Craver, Carl and Lindley Darden (2001), “Discovering Mechanisms in Neurobiology: The Case of Spatial Memory,” in Peter Machamer, R. Grush, and P. McLaughlin (eds.), Theory and Method in the Neurosciences. Pittsburgh, PA: University of Pittsburgh Press, pp. 112–137.
Darden, Lindley (1987), “Viewing the History of Science as Compiled Hindsight,” AI Magazine 8(2): 33–41.
Darden, Lindley (1990), “Diagnosing and Fixing Faults in Theories,” in J. Shrager and P. Langley (eds.), Computational Models of Scientific Discovery and Theory Formation. San Mateo, CA: Morgan Kaufmann, pp. 319–346.
Darden, Lindley (1991), Theory Change in Science: Strategies from Mendelian Genetics. New York: Oxford University Press.
Darden, Lindley (1998), “Anomaly-Driven Theory Redesign: Computational Philosophy of Science Experiments,” in Terrell W. Bynum and James Moor (eds.), The Digital Phoenix: How Computers are Changing Philosophy. Oxford: Blackwell, pp. 62–78. Available: http://www.inform.umd.edu/PHIL/faculty/LDarden/Research/pubs/
Darden, Lindley (forthcoming), “Strategies for Discovering Mechanisms: Schema Instantiation, Modular Subassembly, Forward Chaining/Backtracking,” Presented at PSA 2000, Vancouver. Preprint available: http://www.inform.umd.edu/PHIL/faculty/LDarden/Research/pubs
Darden, Lindley and Joseph A. Cain (1989), “Selection Type Theories,” Philosophy of Science 56: 106–129. Available: http://www.inform.umd.edu/PHIL/faculty/LDarden/Research/pubs/
Darden, Lindley and Carl Craver (in press), “Strategies in the Interfield Discovery of the Mechanism of Protein Synthesis,” Studies in History and Philosophy of Biological and Biomedical Sciences.
Darden, Lindley, Dale Moberg, Sunil Thadani, and John Josephson, (July 1992), “A Computational Approach to Scientific Theory Revision: The TRANSGENE Experiments,” Technical Report 92-LD-TRANSGENE, Laboratory for Artificial Intelligence Research, The Ohio State University. Columbus, Ohio, USA.
Dunbar, Kevin (1995), “HowScien tists Really Reason: Scientific Reasoning in Real-World Laboratories,” in R. J. Sternberg and J. E. Davidson (eds.), The Nature of Insight. Cambridge, MA: MIT Press, pp. 365–395.
Glennan, Stuart S. (1996), “Mechanisms and The Nature of Causation,” Erkenntnis 44: 49–71.
Goel, Ashok and B. Chandrasekaran, (1989) “Functional Representation of Designs and Redesign Problem Solving,” in Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, August 1989, pp. 1388–1394.
Holyoak, Keith J. and Paul Thagard (1995), Mental Leaps: Analogy in Creative Thought. Cambridge, MA: MIT Press.
Karp, Peter (1990), “Hypothesis Formation as Design,” in J. Shrager and P. Langley (eds.), Computational Models of Scientific Discovery and Theory Formation. San Mateo, CA: Morgan Kaufmann, pp. 275–317.
Karp, Peter (1993), “A Qualitative Biochemistry and its Application to the Regulation of the Tryptophan Operon,” in L. Hunter (ed.), Artificial Intelligence and Molecular Biology. Cambridge, MA: AAAI Press and MIT Press, pp. 289–324.
Karp, Peter D. (2000), “An Ontology for Biological Function Based on Molecular Interactions,” Bioinformatics 16:269–285.
Machamer, Peter, Lindley Darden, and Carl Carver (2000), “Thinking About Mechanisms,” Philosophy of Science 67: 1–25.
Moberg, Dale and John Josephson (1990), “Diagnosing and Fixing Faults in Theories, Appendix A: An Implementation Note,” in J. Shrager and P. Langley (eds.), Computational Models of Scientific Discovery and Theory Formation. San Mateo, CA: Morgan Kaufmann, pp. 347–353.
Morowitz, Harold (1985), “Models for Biomedical Research: A New Perspective,” Report of the Committee on Models for Biomedical Research. Washington, D.C.: National Academy Press.
Morowitz, Harold and Temple Smith (1987), “Report of the Matrix of Biological KnowledgeWorkshop, July 13-August 14, 1987,” Sante Fe, NM: Sante Fe Institute.
Piatetsky-Shapiro, Gregory and William J. Frawley (eds.) (1991), Knowledge Discovery in Databases. Cambridge, MA: MIT Press.
Simon, Herbert A. (1977), Models of Discovery. Dordrecht: Reidel.
Swanson, Don R. (1990), “Medical Literature as a Potential Source of New Knowledge,” Bull. Med. Libr. Assoc. 78:29–37.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Darden, L. (2001). Discovering Mechanisms: A Computational Philosophy of Science Perspective. In: Jantke, K.P., Shinohara, A. (eds) Discovery Science. DS 2001. Lecture Notes in Computer Science(), vol 2226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45650-3_2
Download citation
DOI: https://doi.org/10.1007/3-540-45650-3_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42956-2
Online ISBN: 978-3-540-45650-6
eBook Packages: Springer Book Archive