Strategies for Discovering Mechanisms: Schema Instantiation, Modular Subassembly, Forward/Backward Chaining

Abstract

Discovery proceeds in stages of construction, evaluation, and revision. Each of these stages is constrained by what is known or conjectured about what is being discovered. A new characterization of mechanism aids in specifying what is to be discovered when a mechanism is sought. Guidance in discovering mechanisms may be provided by the reasoning strategies of schema instantiation, modular subassembly, and forward/backward chaining. Examples are found in mechanisms in molecular biology, biochemistry, immunology, and evolutionary biology.